{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "This notebooks aims to demonstrate some functionality of the python package <https://github.com/cknoll/semantictools>."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Sat Feb 13 22:22:24 2021\n"
     ]
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 1;\n",
       "                var nbb_unformatted_code = \"import time\\n\\nprint(time.ctime())\\n%load_ext nb_black\\n%load_ext ipydex.displaytools\";\n",
       "                var nbb_formatted_code = \"import time\\n\\nprint(time.ctime())\\n%load_ext nb_black\\n%load_ext ipydex.displaytools\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "import time\n",
    "\n",
    "print(time.ctime())\n",
    "%load_ext nb_black\n",
    "%load_ext ipydex.displaytools"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "<module 'semantictools.core' from '/media/workcard/workstickdir/RST/expertise_system/semantictools/src/semantictools/core.py'>"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 2;\n",
       "                var nbb_unformatted_code = \"from IPython.display import SVG, display, HTML\\n\\nfrom semantictools import core as smt\\nimport nxv\\nimport importlib\\n\\n# for easier co-development of library and notebook\\nimportlib.reload(smt)\";\n",
       "                var nbb_formatted_code = \"from IPython.display import SVG, display, HTML\\n\\nfrom semantictools import core as smt\\nimport nxv\\nimport importlib\\n\\n# for easier co-development of library and notebook\\nimportlib.reload(smt)\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "from IPython.display import SVG, display, HTML\n",
    "\n",
    "from semantictools import core as smt\n",
    "import nxv\n",
    "import importlib\n",
    "\n",
    "# for easier co-development of library and notebook\n",
    "importlib.reload(smt)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "69"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 3;\n",
       "                var nbb_unformatted_code = \"len(smt.cache.wikidata_query_cache)\";\n",
       "                var nbb_formatted_code = \"len(smt.cache.wikidata_query_cache)\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "len(smt.cache.wikidata_query_cache)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[{'item': {'type': 'uri', 'value': 'http://www.wikidata.org/entity/Q7827200'},\n",
       "  'itemLabel': {'xml:lang': 'en',\n",
       "   'type': 'literal',\n",
       "   'value': 'torsion-free module'},\n",
       "  'id': 'Q7827200',\n",
       "  'label': 'torsion-free module'}]"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 4;\n",
       "                var nbb_unformatted_code = \"# basic query\\n\\nsmt.get_superclasses(\\\"Q1426191\\\")\";\n",
       "                var nbb_formatted_code = \"# basic query\\n\\nsmt.get_superclasses(\\\"Q1426191\\\")\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# basic query\n",
    "\n",
    "smt.get_superclasses(\"Q1426191\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(G.number_of_nodes()) := 13"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "text/plain": [
       "---"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 5;\n",
       "                var nbb_unformatted_code = \"base_node = smt.Node({\\\"id\\\": \\\"Q125977\\\", \\\"label\\\": \\\"vector space\\\"})\\n\\n\\nG = smt.build_graph(base_node, n=3)\\ncustom_display(\\\"(G.number_of_nodes())\\\", (G.number_of_nodes())); display({\\\"text/plain\\\": \\\"---\\\"}, raw=True)\";\n",
       "                var nbb_formatted_code = \"base_node = smt.Node({\\\"id\\\": \\\"Q125977\\\", \\\"label\\\": \\\"vector space\\\"})\\n\\n\\nG = smt.build_graph(base_node, n=3)\\ncustom_display(\\\"(G.number_of_nodes())\\\", (G.number_of_nodes()))\\ndisplay({\\\"text/plain\\\": \\\"---\\\"}, raw=True)\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "base_node = smt.Node({\"id\": \"Q125977\", \"label\": \"vector space\"})\n",
    "\n",
    "\n",
    "G = smt.build_graph(base_node, n=3)\n",
    "G.number_of_nodes() ##:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 6;\n",
       "                var nbb_unformatted_code = \"style = nxv.Style(\\n    graph={\\\"rankdir\\\": \\\"TB\\\"},\\n    node=lambda u, d: {\\n        \\\"shape\\\": \\\"circle\\\" if not u.is_top_level else \\\"square\\\",\\n        \\\"fixedsize\\\": True,\\n        \\\"width\\\": 1,\\n        \\\"fontsize\\\": 10,\\n    },\\n    edge=lambda u, v, d: {\\\"style\\\": \\\"solid\\\", \\\"arrowType\\\": \\\"normal\\\", \\\"label\\\": \\\"is a\\\"},\\n)\\n\\nsvg_data = nxv.render(G, style, format=\\\"svg\\\")\";\n",
       "                var nbb_formatted_code = \"style = nxv.Style(\\n    graph={\\\"rankdir\\\": \\\"TB\\\"},\\n    node=lambda u, d: {\\n        \\\"shape\\\": \\\"circle\\\" if not u.is_top_level else \\\"square\\\",\\n        \\\"fixedsize\\\": True,\\n        \\\"width\\\": 1,\\n        \\\"fontsize\\\": 10,\\n    },\\n    edge=lambda u, v, d: {\\\"style\\\": \\\"solid\\\", \\\"arrowType\\\": \\\"normal\\\", \\\"label\\\": \\\"is a\\\"},\\n)\\n\\nsvg_data = nxv.render(G, style, format=\\\"svg\\\")\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "style = nxv.Style(\n",
    "    graph={\"rankdir\": \"TB\"},\n",
    "    node=lambda u, d: {\n",
    "        \"shape\": \"circle\" if not u.is_top_level else \"square\",\n",
    "        \"fixedsize\": True,\n",
    "        \"width\": 1,\n",
    "        \"fontsize\": 10,\n",
    "    },\n",
    "    edge=lambda u, v, d: {\"style\": \"solid\", \"arrowType\": \"normal\", \"label\": \"is a\"},\n",
    ")\n",
    "\n",
    "svg_data = nxv.render(G, style, format=\"svg\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/javascript": [
       "IPython.OutputArea.auto_scroll_threshold = 9999;\n",
       "\n",
       "// necessary to prevent auto scrolling for a long image\n"
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 7;\n",
       "                var nbb_unformatted_code = \"%%javascript\\nIPython.OutputArea.auto_scroll_threshold = 9999;\\n\\n// necessary to prevent auto scrolling for a long image\";\n",
       "                var nbb_formatted_code = \"%%javascript\\nIPython.OutputArea.auto_scroll_threshold = 9999;\\n\\n// necessary to prevent auto scrolling for a long image\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "%%javascript\n",
    "IPython.OutputArea.auto_scroll_threshold = 9999;\n",
    "\n",
    "// necessary to prevent auto scrolling for a long image"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<svg xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\" width=\"620pt\" height=\"449pt\" viewBox=\"0.00 0.00 620.00 449.00\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 445)\">\n",
       "<title>G</title>\n",
       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-445 616,-445 616,4 -4,4\"/>\n",
       "<!-- node0000 -->\n",
       "<g id=\"node1\" class=\"node\">\n",
       "<title>node0000</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"374\" cy=\"-405\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"374\" y=\"-408\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q125977\">Q125977</a></text>\n",
       "<text text-anchor=\"middle\" x=\"374\" y=\"-397\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">vector space</text>\n",
       "</g>\n",
       "<!-- node0001 -->\n",
       "<g id=\"node2\" class=\"node\">\n",
       "<title>node0001</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"329\" cy=\"-282\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"329\" y=\"-290.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q472971\">Q472971</a></text>\n",
       "<text text-anchor=\"middle\" x=\"329\" y=\"-279.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">space</text>\n",
       "<text text-anchor=\"middle\" x=\"329\" y=\"-268.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">(mathematics)</text>\n",
       "</g>\n",
       "<!-- node0000&#45;&gt;node0001 -->\n",
       "<g id=\"edge1\" class=\"edge\">\n",
       "<title>node0000-&gt;node0001</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M361.5844,-371.0641C356.42,-356.9481 350.3619,-340.3892 344.8795,-325.4039\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"348.0979,-324.0138 341.3751,-315.8251 341.524,-326.4189 348.0979,-324.0138\"/>\n",
       "<text text-anchor=\"middle\" x=\"363.5\" y=\"-339.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0002 -->\n",
       "<g id=\"node3\" class=\"node\">\n",
       "<title>node0002</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"441\" cy=\"-282\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"441\" y=\"-285\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1292333\">Q1292333</a></text>\n",
       "<text text-anchor=\"middle\" x=\"441\" y=\"-274\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">free module</text>\n",
       "</g>\n",
       "<!-- node0000&#45;&gt;node0002 -->\n",
       "<g id=\"edge2\" class=\"edge\">\n",
       "<title>node0000-&gt;node0002</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M391.2542,-373.3244C399.6291,-357.9496 409.7913,-339.2935 418.7423,-322.8611\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"421.8615,-324.4517 423.5714,-313.9957 415.7143,-321.1032 421.8615,-324.4517\"/>\n",
       "<text text-anchor=\"middle\" x=\"420.5\" y=\"-339.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0003 -->\n",
       "<g id=\"node4\" class=\"node\">\n",
       "<title>node0003</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"216\" cy=\"-159\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"216\" y=\"-162\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q36161\">Q36161</a></text>\n",
       "<text text-anchor=\"middle\" x=\"216\" y=\"-151\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">set</text>\n",
       "</g>\n",
       "<!-- node0001&#45;&gt;node0003 -->\n",
       "<g id=\"edge3\" class=\"edge\">\n",
       "<title>node0001-&gt;node0003</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M304.4807,-255.3108C287.748,-237.0973 265.4353,-212.8101 247.4031,-193.1821\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"249.8143,-190.6333 240.4715,-185.6371 244.6594,-195.3691 249.8143,-190.6333\"/>\n",
       "<text text-anchor=\"middle\" x=\"289.5\" y=\"-216.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0004 -->\n",
       "<g id=\"node5\" class=\"node\">\n",
       "<title>node0004</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"441\" cy=\"-159\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"441\" y=\"-167.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q942423\">Q942423</a></text>\n",
       "<text text-anchor=\"middle\" x=\"441\" y=\"-156.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">projective</text>\n",
       "<text text-anchor=\"middle\" x=\"441\" y=\"-145.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">module</text>\n",
       "</g>\n",
       "<!-- node0002&#45;&gt;node0004 -->\n",
       "<g id=\"edge4\" class=\"edge\">\n",
       "<title>node0002-&gt;node0004</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M441,-245.7612C441,-233.2361 441,-219.0191 441,-205.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"444.5001,-205.4048 441,-195.4048 437.5001,-205.4048 444.5001,-205.4048\"/>\n",
       "<text text-anchor=\"middle\" x=\"450.5\" y=\"-216.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0005 -->\n",
       "<g id=\"node6\" class=\"node\">\n",
       "<title>node0005</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"553\" cy=\"-159\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"553\" y=\"-162\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5500272\">Q5500272</a></text>\n",
       "<text text-anchor=\"middle\" x=\"553\" y=\"-151\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">free object</text>\n",
       "</g>\n",
       "<!-- node0002&#45;&gt;node0005 -->\n",
       "<g id=\"edge5\" class=\"edge\">\n",
       "<title>node0002-&gt;node0005</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M465.3023,-255.3108C481.887,-237.0973 504.0022,-212.8101 521.8748,-193.1821\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"524.6002,-195.3875 528.7451,-185.6371 519.4245,-190.6746 524.6002,-195.3875\"/>\n",
       "<text text-anchor=\"middle\" x=\"512.5\" y=\"-216.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0006 -->\n",
       "<g id=\"node7\" class=\"node\">\n",
       "<title>node0006</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"36\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"36\" y=\"-39\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q217594\">Q217594</a></text>\n",
       "<text text-anchor=\"middle\" x=\"36\" y=\"-28\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">class</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0006 -->\n",
       "<g id=\"edge6\" class=\"edge\">\n",
       "<title>node0003-&gt;node0006</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M185.1139,-140.3474C157.3594,-123.2937 115.7444,-96.9936 81,-72 78.1523,-69.9515 75.2405,-67.7888 72.3356,-65.5816\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"74.2755,-62.6571 64.2261,-59.3015 69.9895,-68.1916 74.2755,-62.6571\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0007 -->\n",
       "<g id=\"node8\" class=\"node\">\n",
       "<title>node0007</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"126\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"126\" y=\"-44.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q246672\">Q246672</a></text>\n",
       "<text text-anchor=\"middle\" x=\"126\" y=\"-33.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">mathematical</text>\n",
       "<text text-anchor=\"middle\" x=\"126\" y=\"-22.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0007 -->\n",
       "<g id=\"edge7\" class=\"edge\">\n",
       "<title>node0003-&gt;node0007</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M194.6713,-129.8507C182.4314,-113.1229 166.9252,-91.9311 153.7459,-73.9195\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"156.2173,-71.3698 147.4875,-65.3663 150.5681,-75.5034 156.2173,-71.3698\"/>\n",
       "<text text-anchor=\"middle\" x=\"186.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0008 -->\n",
       "<g id=\"node9\" class=\"node\">\n",
       "<title>node0008</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"216\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"216\" y=\"-39\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q864377\">Q864377</a></text>\n",
       "<text text-anchor=\"middle\" x=\"216\" y=\"-28\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">multiset</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0008 -->\n",
       "<g id=\"edge8\" class=\"edge\">\n",
       "<title>node0003-&gt;node0008</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M216,-122.7612C216,-110.2361 216,-96.0191 216,-82.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"219.5001,-82.4048 216,-72.4048 212.5001,-82.4048 219.5001,-82.4048\"/>\n",
       "<text text-anchor=\"middle\" x=\"225.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0009 -->\n",
       "<g id=\"node10\" class=\"node\">\n",
       "<title>node0009</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"306\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"306\" y=\"-39\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5469988\">Q5469988</a></text>\n",
       "<text text-anchor=\"middle\" x=\"306\" y=\"-28\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">formalization</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0009 -->\n",
       "<g id=\"edge9\" class=\"edge\">\n",
       "<title>node0003-&gt;node0009</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M237.3287,-129.8507C249.5686,-113.1229 265.0748,-91.9311 278.2541,-73.9195\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"281.4319,-75.5034 284.5125,-65.3663 275.7827,-71.3698 281.4319,-75.5034\"/>\n",
       "<text text-anchor=\"middle\" x=\"276.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0010 -->\n",
       "<g id=\"node11\" class=\"node\">\n",
       "<title>node0010</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"396\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"396\" y=\"-39\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1426191\">Q1426191</a></text>\n",
       "<text text-anchor=\"middle\" x=\"396\" y=\"-28\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">flat module</text>\n",
       "</g>\n",
       "<!-- node0004&#45;&gt;node0010 -->\n",
       "<g id=\"edge10\" class=\"edge\">\n",
       "<title>node0004-&gt;node0010</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M428.5844,-125.0641C423.42,-110.9481 417.3619,-94.3892 411.8795,-79.4039\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"415.0979,-78.0138 408.3751,-69.8251 408.524,-80.4189 415.0979,-78.0138\"/>\n",
       "<text text-anchor=\"middle\" x=\"430.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0011 -->\n",
       "<g id=\"node12\" class=\"node\">\n",
       "<title>node0011</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"486\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"486\" y=\"-44.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q2112502\">Q2112502</a></text>\n",
       "<text text-anchor=\"middle\" x=\"486\" y=\"-33.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">projective</text>\n",
       "<text text-anchor=\"middle\" x=\"486\" y=\"-22.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "</g>\n",
       "<!-- node0004&#45;&gt;node0011 -->\n",
       "<g id=\"edge11\" class=\"edge\">\n",
       "<title>node0004-&gt;node0011</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M453.4156,-125.0641C458.58,-110.9481 464.6381,-94.3892 470.1205,-79.4039\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"473.476,-80.4189 473.6249,-69.8251 466.9021,-78.0138 473.476,-80.4189\"/>\n",
       "<text text-anchor=\"middle\" x=\"475.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0012 -->\n",
       "<g id=\"node13\" class=\"node\">\n",
       "<title>node0012</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"576\" cy=\"-36\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"576\" y=\"-44.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q205464\">Q205464</a></text>\n",
       "<text text-anchor=\"middle\" x=\"576\" y=\"-33.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">algebraic</text>\n",
       "<text text-anchor=\"middle\" x=\"576\" y=\"-22.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">structure</text>\n",
       "</g>\n",
       "<!-- node0005&#45;&gt;node0012 -->\n",
       "<g id=\"edge12\" class=\"edge\">\n",
       "<title>node0005-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M559.6526,-123.4233C562.108,-110.2919 564.9244,-95.2306 567.5198,-81.3504\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"570.9646,-81.9697 569.3624,-71.4967 564.0839,-80.683 570.9646,-81.9697\"/>\n",
       "<text text-anchor=\"middle\" x=\"574.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "</g>\n",
       "</svg>"
      ],
      "text/plain": [
       "<IPython.core.display.SVG object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 8;\n",
       "                var nbb_unformatted_code = \"entity_links = dict(\\n    [\\n        (\\n            node.id,\\n            '<a href=\\\"http://www.wikidata.org/entity/{0}\\\">{0}</a>'.format(node.id),\\n        )\\n        for node in G.nodes.keys()\\n    ]\\n)\\n\\n# insert links to wiki data urls\\nsvg_data = svg_data.decode(\\\"utf8\\\").format(**entity_links).encode(\\\"utf8\\\")\\n\\nsvg_fname = \\\"vectorspace_superclasses_l3.svg\\\"\\n\\nwith open(svg_fname, \\\"wb\\\") as svgfile:\\n    svgfile.write(svg_data)\\n\\ndisplay(SVG(svg_data))\";\n",
       "                var nbb_formatted_code = \"entity_links = dict(\\n    [\\n        (\\n            node.id,\\n            '<a href=\\\"http://www.wikidata.org/entity/{0}\\\">{0}</a>'.format(node.id),\\n        )\\n        for node in G.nodes.keys()\\n    ]\\n)\\n\\n# insert links to wiki data urls\\nsvg_data = svg_data.decode(\\\"utf8\\\").format(**entity_links).encode(\\\"utf8\\\")\\n\\nsvg_fname = \\\"vectorspace_superclasses_l3.svg\\\"\\n\\nwith open(svg_fname, \\\"wb\\\") as svgfile:\\n    svgfile.write(svg_data)\\n\\ndisplay(SVG(svg_data))\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "entity_links = dict(\n",
    "    [\n",
    "        (\n",
    "            node.id,\n",
    "            '<a href=\"http://www.wikidata.org/entity/{0}\">{0}</a>'.format(node.id),\n",
    "        )\n",
    "        for node in G.nodes.keys()\n",
    "    ]\n",
    ")\n",
    "\n",
    "# insert links to wiki data urls\n",
    "svg_data = svg_data.decode(\"utf8\").format(**entity_links).encode(\"utf8\")\n",
    "\n",
    "svg_fname = \"vectorspace_superclasses_l3.svg\"\n",
    "\n",
    "with open(svg_fname, \"wb\") as svgfile:\n",
    "    svgfile.write(svg_data)\n",
    "\n",
    "display(SVG(svg_data))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<a href='vectorspace_superclasses_l3.svg'>vectorspace_superclasses_l3.svg</a>"
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 9;\n",
       "                var nbb_unformatted_code = \"display(HTML(f\\\"<a href='{svg_fname}'>{svg_fname}</a>\\\"))\";\n",
       "                var nbb_formatted_code = \"display(HTML(f\\\"<a href='{svg_fname}'>{svg_fname}</a>\\\"))\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "display(HTML(f\"<a href='{svg_fname}'>{svg_fname}</a>\"))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CPU times: user 1.83 ms, sys: 0 ns, total: 1.83 ms\n",
      "Wall time: 1.83 ms\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "(G.number_of_nodes()) := 69"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "text/plain": [
       "---"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 10;\n",
       "                var nbb_unformatted_code = \"%time G = smt.build_graph(base_node, n=13)\\ncustom_display(\\\"(G.number_of_nodes())\\\", (G.number_of_nodes())); display({\\\"text/plain\\\": \\\"---\\\"}, raw=True)\";\n",
       "                var nbb_formatted_code = \"%time G = smt.build_graph(base_node, n=13)\\ncustom_display(\\\"(G.number_of_nodes())\\\", (G.number_of_nodes()))\\ndisplay({\\\"text/plain\\\": \\\"---\\\"}, raw=True)\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "%time G = smt.build_graph(base_node, n=13)\n",
    "G.number_of_nodes() ##:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 11;\n",
       "                var nbb_unformatted_code = \"svg_data = nxv.render(G, style, format=\\\"svg\\\")\";\n",
       "                var nbb_formatted_code = \"svg_data = nxv.render(G, style, format=\\\"svg\\\")\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "svg_data = nxv.render(G, style, format=\"svg\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/svg+xml": [
       "<svg xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\" width=\"1047pt\" height=\"4217pt\" viewBox=\"0.00 0.00 1047.00 4217.00\">\n",
       "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 4213)\">\n",
       "<title>G</title>\n",
       "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-4213 1043,-4213 1043,4 -4,4\"/>\n",
       "<!-- node0000 -->\n",
       "<g id=\"node1\" class=\"node\">\n",
       "<title>node0000</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"62\" cy=\"-4173\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"62\" y=\"-4176\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q125977\">Q125977</a></text>\n",
       "<text text-anchor=\"middle\" x=\"62\" y=\"-4165\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">vector space</text>\n",
       "</g>\n",
       "<!-- node0001 -->\n",
       "<g id=\"node2\" class=\"node\">\n",
       "<title>node0001</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"36\" cy=\"-3960\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"36\" y=\"-3968.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q472971\">Q472971</a></text>\n",
       "<text text-anchor=\"middle\" x=\"36\" y=\"-3957.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">space</text>\n",
       "<text text-anchor=\"middle\" x=\"36\" y=\"-3946.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">(mathematics)</text>\n",
       "</g>\n",
       "<!-- node0000&#45;&gt;node0001 -->\n",
       "<g id=\"edge1\" class=\"edge\">\n",
       "<title>node0000-&gt;node0001</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M57.5895,-4136.8675C53.1873,-4100.8034 46.4066,-4045.2538 41.6208,-4006.0473\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"45.0747,-4005.4559 40.3887,-3995.9537 38.1263,-4006.3042 45.0747,-4005.4559\"/>\n",
       "<text text-anchor=\"middle\" x=\"64.5\" y=\"-4107.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0002 -->\n",
       "<g id=\"node3\" class=\"node\">\n",
       "<title>node0002</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"125\" cy=\"-4050\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"125\" y=\"-4053\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1292333\">Q1292333</a></text>\n",
       "<text text-anchor=\"middle\" x=\"125\" y=\"-4042\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">free module</text>\n",
       "</g>\n",
       "<!-- node0000&#45;&gt;node0002 -->\n",
       "<g id=\"edge2\" class=\"edge\">\n",
       "<title>node0000-&gt;node0002</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M78.5525,-4140.6832C86.2933,-4125.5703 95.6018,-4107.3965 103.8465,-4091.2997\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"107.1144,-4092.597 108.558,-4082.101 100.8841,-4089.4058 107.1144,-4092.597\"/>\n",
       "<text text-anchor=\"middle\" x=\"106.5\" y=\"-4107.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0003 -->\n",
       "<g id=\"node4\" class=\"node\">\n",
       "<title>node0003</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"149\" cy=\"-888\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"149\" y=\"-891\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q36161\">Q36161</a></text>\n",
       "<text text-anchor=\"middle\" x=\"149\" y=\"-880\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">set</text>\n",
       "</g>\n",
       "<!-- node0001&#45;&gt;node0003 -->\n",
       "<g id=\"edge3\" class=\"edge\">\n",
       "<title>node0001-&gt;node0003</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M36,-3923.7994C36,-3887.4512 36,-3829.8438 36,-3780 36,-3780 36,-3780 36,-1011 36,-966.8124 76.0378,-931.6488 108.4488,-910.4225\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"110.3366,-913.3699 116.921,-905.0695 106.5975,-907.4522 110.3366,-913.3699\"/>\n",
       "<text text-anchor=\"middle\" x=\"45.5\" y=\"-2465.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0004 -->\n",
       "<g id=\"node5\" class=\"node\">\n",
       "<title>node0004</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"125\" cy=\"-3870\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"125\" y=\"-3878.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q942423\">Q942423</a></text>\n",
       "<text text-anchor=\"middle\" x=\"125\" y=\"-3867.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">projective</text>\n",
       "<text text-anchor=\"middle\" x=\"125\" y=\"-3856.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">module</text>\n",
       "</g>\n",
       "<!-- node0002&#45;&gt;node0004 -->\n",
       "<g id=\"edge4\" class=\"edge\">\n",
       "<title>node0002-&gt;node0004</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M125,-4013.5743C125,-3985.5469 125,-3946.621 125,-3916.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"128.5001,-3916.0639 125,-3906.0639 121.5001,-3916.064 128.5001,-3916.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"134.5\" y=\"-3956.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0005 -->\n",
       "<g id=\"node6\" class=\"node\">\n",
       "<title>node0005</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"615\" cy=\"-3780\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"615\" y=\"-3783\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5500272\">Q5500272</a></text>\n",
       "<text text-anchor=\"middle\" x=\"615\" y=\"-3772\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">free object</text>\n",
       "</g>\n",
       "<!-- node0002&#45;&gt;node0005 -->\n",
       "<g id=\"edge5\" class=\"edge\">\n",
       "<title>node0002-&gt;node0005</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M156.7727,-4032.4926C242.6491,-3985.173 479.3143,-3854.7656 574.5357,-3802.2967\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"576.2301,-3805.3593 583.2993,-3797.4677 572.8518,-3799.2284 576.2301,-3805.3593\"/>\n",
       "<text text-anchor=\"middle\" x=\"358.5\" y=\"-3956.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0006 -->\n",
       "<g id=\"node7\" class=\"node\">\n",
       "<title>node0006</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"140\" cy=\"-765\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"140\" y=\"-768\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q217594\">Q217594</a></text>\n",
       "<text text-anchor=\"middle\" x=\"140\" y=\"-757\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">class</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0006 -->\n",
       "<g id=\"edge6\" class=\"edge\">\n",
       "<title>node0003-&gt;node0006</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M146.3726,-852.0927C145.4382,-839.3225 144.3727,-824.7605 143.3839,-811.2472\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"146.8667,-810.8828 142.6462,-801.1649 139.8854,-811.3937 146.8667,-810.8828\"/>\n",
       "<text text-anchor=\"middle\" x=\"154.5\" y=\"-822.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0007 -->\n",
       "<g id=\"node8\" class=\"node\">\n",
       "<title>node0007</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"245\" cy=\"-642\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"245\" y=\"-650.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q246672\">Q246672</a></text>\n",
       "<text text-anchor=\"middle\" x=\"245\" y=\"-639.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">mathematical</text>\n",
       "<text text-anchor=\"middle\" x=\"245\" y=\"-628.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0007 -->\n",
       "<g id=\"edge7\" class=\"edge\">\n",
       "<title>node0003-&gt;node0007</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M163.0941,-854.6361C169.8427,-838.4856 177.9668,-818.7849 185,-801 200.3886,-762.0871 217.1422,-717.4885 229.025,-685.4478\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"232.3599,-686.5206 232.5495,-675.9274 225.7953,-684.0903 232.3599,-686.5206\"/>\n",
       "<text text-anchor=\"middle\" x=\"221.5\" y=\"-761.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0008 -->\n",
       "<g id=\"node9\" class=\"node\">\n",
       "<title>node0008</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"285\" cy=\"-765\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"285\" y=\"-768\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q864377\">Q864377</a></text>\n",
       "<text text-anchor=\"middle\" x=\"285\" y=\"-757\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">multiset</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0008 -->\n",
       "<g id=\"edge8\" class=\"edge\">\n",
       "<title>node0003-&gt;node0008</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M179.9449,-868.8894C194.5616,-859.229 211.8603,-846.8457 226,-834 236.7017,-824.2777 247.3097,-812.6631 256.517,-801.7608\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"259.2733,-803.9199 262.9551,-793.9854 253.8817,-799.4556 259.2733,-803.9199\"/>\n",
       "<text text-anchor=\"middle\" x=\"249.5\" y=\"-822.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0009 -->\n",
       "<g id=\"node10\" class=\"node\">\n",
       "<title>node0009</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"50\" cy=\"-765\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"50\" y=\"-768\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5469988\">Q5469988</a></text>\n",
       "<text text-anchor=\"middle\" x=\"50\" y=\"-757\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">formalization</text>\n",
       "</g>\n",
       "<!-- node0003&#45;&gt;node0009 -->\n",
       "<g id=\"edge9\" class=\"edge\">\n",
       "<title>node0003-&gt;node0009</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M126.2874,-859.7813C112.2642,-842.3586 94.1365,-819.8363 79.0709,-801.1184\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"81.6036,-798.683 72.6069,-793.0874 76.1505,-803.0721 81.6036,-798.683\"/>\n",
       "<text text-anchor=\"middle\" x=\"114.5\" y=\"-822.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0010 -->\n",
       "<g id=\"node11\" class=\"node\">\n",
       "<title>node0010</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"164\" cy=\"-3690\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"164\" y=\"-3693\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1426191\">Q1426191</a></text>\n",
       "<text text-anchor=\"middle\" x=\"164\" y=\"-3682\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">flat module</text>\n",
       "</g>\n",
       "<!-- node0004&#45;&gt;node0010 -->\n",
       "<g id=\"edge10\" class=\"edge\">\n",
       "<title>node0004-&gt;node0010</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M132.7051,-3834.4378C138.848,-3806.0863 147.4922,-3766.19 154.1396,-3735.5097\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"157.6139,-3736.0027 156.3109,-3725.4883 150.7726,-3734.5204 157.6139,-3736.0027\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.5\" y=\"-3776.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0011 -->\n",
       "<g id=\"node12\" class=\"node\">\n",
       "<title>node0011</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"93\" cy=\"-3600\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"93\" y=\"-3608.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q2112502\">Q2112502</a></text>\n",
       "<text text-anchor=\"middle\" x=\"93\" y=\"-3597.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">projective</text>\n",
       "<text text-anchor=\"middle\" x=\"93\" y=\"-3586.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "</g>\n",
       "<!-- node0004&#45;&gt;node0011 -->\n",
       "<g id=\"edge11\" class=\"edge\">\n",
       "<title>node0004-&gt;node0011</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M117.252,-3834.656C116.0504,-3828.4582 114.9086,-3822.0554 114,-3816 105.2529,-3757.7046 99.3537,-3689.9852 96.0886,-3646.1353\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"99.5724,-3645.7853 95.354,-3636.0665 92.591,-3646.2947 99.5724,-3645.7853\"/>\n",
       "<text text-anchor=\"middle\" x=\"123.5\" y=\"-3776.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0012 -->\n",
       "<g id=\"node13\" class=\"node\">\n",
       "<title>node0012</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"839\" cy=\"-1437\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"839\" y=\"-1445.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q205464\">Q205464</a></text>\n",
       "<text text-anchor=\"middle\" x=\"839\" y=\"-1434.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">algebraic</text>\n",
       "<text text-anchor=\"middle\" x=\"839\" y=\"-1423.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">structure</text>\n",
       "</g>\n",
       "<!-- node0005&#45;&gt;node0012 -->\n",
       "<g id=\"edge12\" class=\"edge\">\n",
       "<title>node0005-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M650.2326,-3772.3188C748.7666,-3749.8283 1020,-3680.5991 1020,-3600 1020,-3600 1020,-3600 1020,-1560 1020,-1494.5046 937.9231,-1461.442 884.31,-1446.8317\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"884.8876,-1443.3654 874.3283,-1444.233 883.1239,-1450.1396 884.8876,-1443.3654\"/>\n",
       "<text text-anchor=\"middle\" x=\"1029.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0006&#45;&gt;node0007 -->\n",
       "<g id=\"edge13\" class=\"edge\">\n",
       "<title>node0006-&gt;node0007</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M155.359,-732.1395C161.7759,-720.1298 169.8721,-706.8424 179,-696 187.2759,-686.1697 197.527,-676.7977 207.4625,-668.7034\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"209.6386,-671.4447 215.3191,-662.5014 205.3013,-665.9503 209.6386,-671.4447\"/>\n",
       "<text text-anchor=\"middle\" x=\"188.5\" y=\"-699.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0013 -->\n",
       "<g id=\"node14\" class=\"node\">\n",
       "<title>node0013</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"103\" cy=\"-552\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"103\" y=\"-555\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q16889133\">Q16889133</a></text>\n",
       "<text text-anchor=\"middle\" x=\"103\" y=\"-544\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">class</text>\n",
       "</g>\n",
       "<!-- node0006&#45;&gt;node0013 -->\n",
       "<g id=\"edge14\" class=\"edge\">\n",
       "<title>node0006-&gt;node0013</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M133.807,-729.3486C127.524,-693.1786 117.7748,-637.0549 110.9303,-597.6531\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"114.3731,-597.0211 109.2132,-587.7677 107.4764,-598.2192 114.3731,-597.0211\"/>\n",
       "<text text-anchor=\"middle\" x=\"138.5\" y=\"-699.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0014 -->\n",
       "<g id=\"node15\" class=\"node\">\n",
       "<title>node0014</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"173\" cy=\"-282\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"173\" y=\"-285\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q7184903\">Q7184903</a></text>\n",
       "<text text-anchor=\"middle\" x=\"173\" y=\"-274\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">abstract object</text>\n",
       "</g>\n",
       "<!-- node0007&#45;&gt;node0014 -->\n",
       "<g id=\"edge15\" class=\"edge\">\n",
       "<title>node0007-&gt;node0014</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M243.0019,-605.7653C238.9565,-547.553 227.3382,-430.1877 196,-336 194.7333,-332.1929 193.3121,-328.2795 191.814,-324.3824\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"194.9429,-322.7809 187.9756,-314.7992 188.4448,-325.3837 194.9429,-322.7809\"/>\n",
       "<text text-anchor=\"middle\" x=\"240.5\" y=\"-458.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0008&#45;&gt;node0007 -->\n",
       "<g id=\"edge16\" class=\"edge\">\n",
       "<title>node0008-&gt;node0007</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M273.8578,-730.7376C269.3876,-716.9919 264.1776,-700.9712 259.4243,-686.3547\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"262.6423,-684.9326 256.2212,-676.5052 255.9855,-687.0974 262.6423,-684.9326\"/>\n",
       "<text text-anchor=\"middle\" x=\"276.5\" y=\"-699.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0015 -->\n",
       "<g id=\"node16\" class=\"node\">\n",
       "<title>node0015</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"63\" cy=\"-642\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"63\" y=\"-645\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q4393498\">Q4393498</a></text>\n",
       "<text text-anchor=\"middle\" x=\"63\" y=\"-634\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">representation</text>\n",
       "</g>\n",
       "<!-- node0009&#45;&gt;node0015 -->\n",
       "<g id=\"edge17\" class=\"edge\">\n",
       "<title>node0009-&gt;node0015</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M53.7951,-729.0927C55.1448,-716.3225 56.6839,-701.7605 58.1121,-688.2472\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"61.6072,-688.4774 59.1777,-678.1649 54.6459,-687.7416 61.6072,-688.4774\"/>\n",
       "<text text-anchor=\"middle\" x=\"67.5\" y=\"-699.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0016 -->\n",
       "<g id=\"node17\" class=\"node\">\n",
       "<title>node0016</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"378\" cy=\"-3510\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"378\" y=\"-3518.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q7827200\">Q7827200</a></text>\n",
       "<text text-anchor=\"middle\" x=\"378\" y=\"-3507.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">torsion-free</text>\n",
       "<text text-anchor=\"middle\" x=\"378\" y=\"-3496.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">module</text>\n",
       "</g>\n",
       "<!-- node0010&#45;&gt;node0016 -->\n",
       "<g id=\"edge18\" class=\"edge\">\n",
       "<title>node0010-&gt;node0016</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M191.9768,-3666.4681C230.6129,-3633.9704 300.3073,-3575.349 342.5464,-3539.8207\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"344.9556,-3542.3679 350.3555,-3533.2524 340.4497,-3537.0109 344.9556,-3542.3679\"/>\n",
       "<text text-anchor=\"middle\" x=\"317.5\" y=\"-3596.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0017 -->\n",
       "<g id=\"node18\" class=\"node\">\n",
       "<title>node0017</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"147\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2308.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q15975724\">Q15975724</a></text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2297.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2286.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">of</text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2275.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">a</text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2264.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">category</text>\n",
       "</g>\n",
       "<!-- node0011&#45;&gt;node0017 -->\n",
       "<g id=\"edge19\" class=\"edge\">\n",
       "<title>node0011-&gt;node0017</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M89.2764,-3563.9236C86.4332,-3533.2566 83,-3488.039 83,-3448.5 83,-3448.5 83,-3448.5 83,-2469 83,-2418.6121 105.5399,-2364.6364 123.867,-2329.0772\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"127.0851,-2330.4783 128.6602,-2320.0012 120.8953,-2327.2093 127.0851,-2330.4783\"/>\n",
       "<text text-anchor=\"middle\" x=\"92.5\" y=\"-3014.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0018 -->\n",
       "<g id=\"node19\" class=\"node\">\n",
       "<title>node0018</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"349\" cy=\"-1257\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"349\" y=\"-1265.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q748349\">Q748349</a></text>\n",
       "<text text-anchor=\"middle\" x=\"349\" y=\"-1254.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">mathematical</text>\n",
       "<text text-anchor=\"middle\" x=\"349\" y=\"-1243.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">structure</text>\n",
       "</g>\n",
       "<!-- node0012&#45;&gt;node0018 -->\n",
       "<g id=\"edge20\" class=\"edge\">\n",
       "<title>node0012-&gt;node0018</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M804.9332,-1424.4857C718.0647,-1392.5748 488.3815,-1308.2014 392.2608,-1272.8917\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"393.4348,-1269.5944 382.8413,-1269.4315 391.0211,-1276.1651 393.4348,-1269.5944\"/>\n",
       "<text text-anchor=\"middle\" x=\"689.5\" y=\"-1343.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0019 -->\n",
       "<g id=\"node20\" class=\"node\">\n",
       "<title>node0019</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"101\" cy=\"-372\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"101\" y=\"-380.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q99527517\">Q99527517</a></text>\n",
       "<text text-anchor=\"middle\" x=\"101\" y=\"-369.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">collection</text>\n",
       "<text text-anchor=\"middle\" x=\"101\" y=\"-358.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">entity</text>\n",
       "</g>\n",
       "<!-- node0013&#45;&gt;node0019 -->\n",
       "<g id=\"edge21\" class=\"edge\">\n",
       "<title>node0013-&gt;node0019</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M102.5953,-515.5743C102.2839,-487.5469 101.8513,-448.621 101.5152,-418.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"105.0117,-418.0244 101.4007,-408.0639 98.0121,-418.1022 105.0117,-418.0244\"/>\n",
       "<text text-anchor=\"middle\" x=\"111.5\" y=\"-458.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0020 -->\n",
       "<g id=\"node21\" class=\"node\">\n",
       "<title>node0020</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"171\" cy=\"-159\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"171\" y=\"-162\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q488383\">Q488383</a></text>\n",
       "<text text-anchor=\"middle\" x=\"171\" y=\"-151\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">object</text>\n",
       "</g>\n",
       "<!-- node0014&#45;&gt;node0020 -->\n",
       "<g id=\"edge22\" class=\"edge\">\n",
       "<title>node0014-&gt;node0020</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M172.4108,-245.7612C172.2071,-233.2361 171.9759,-219.0191 171.7605,-205.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"175.2542,-205.3466 171.5919,-195.4048 168.2551,-205.4604 175.2542,-205.3466\"/>\n",
       "<text text-anchor=\"middle\" x=\"181.5\" y=\"-216.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0021 -->\n",
       "<g id=\"node22\" class=\"node\">\n",
       "<title>node0021</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"173\" cy=\"-462\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"173\" y=\"-465\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q930933\">Q930933</a></text>\n",
       "<text text-anchor=\"middle\" x=\"173\" y=\"-454\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">relation</text>\n",
       "</g>\n",
       "<!-- node0015&#45;&gt;node0021 -->\n",
       "<g id=\"edge23\" class=\"edge\">\n",
       "<title>node0015-&gt;node0021</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M96.3047,-627.2687C113.0245,-618.2383 132.1849,-605.1042 144,-588 160.0906,-564.7064 167.3655,-533.7819 170.6055,-508.3993\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"174.1066,-508.5822 171.7275,-498.2579 167.149,-507.8124 174.1066,-508.5822\"/>\n",
       "<text text-anchor=\"middle\" x=\"178.5\" y=\"-548.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0022 -->\n",
       "<g id=\"node23\" class=\"node\">\n",
       "<title>node0022</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"515\" cy=\"-3387\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"515\" y=\"-3390\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q18848\">Q18848</a></text>\n",
       "<text text-anchor=\"middle\" x=\"515\" y=\"-3379\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">module</text>\n",
       "</g>\n",
       "<!-- node0016&#45;&gt;node0022 -->\n",
       "<g id=\"edge24\" class=\"edge\">\n",
       "<title>node0016-&gt;node0022</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M405.0668,-3485.6992C426.6454,-3466.3256 457.0109,-3439.0632 480.3621,-3418.0983\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"482.8866,-3420.5354 487.9894,-3411.2504 478.2101,-3415.3267 482.8866,-3420.5354\"/>\n",
       "<text text-anchor=\"middle\" x=\"463.5\" y=\"-3444.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0023 -->\n",
       "<g id=\"node24\" class=\"node\">\n",
       "<title>node0023</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"147\" cy=\"-2109\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2112\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q379825\">Q379825</a></text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2101\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">element</text>\n",
       "</g>\n",
       "<!-- node0017&#45;&gt;node0023 -->\n",
       "<g id=\"edge25\" class=\"edge\">\n",
       "<title>node0017-&gt;node0023</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M147,-2252.5743C147,-2224.5469 147,-2185.621 147,-2155.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"150.5001,-2155.0639 147,-2145.0639 143.5001,-2155.064 150.5001,-2155.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"156.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0018&#45;&gt;node0007 -->\n",
       "<g id=\"edge26\" class=\"edge\">\n",
       "<title>node0018-&gt;node0007</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M349,-1220.94C349,-1196.4244 349,-1163.2552 349,-1134 349,-1134 349,-1134 349,-765 349,-723.3861 313.8585,-688.5902 284.4303,-666.7471\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"286.092,-663.6326 275.9218,-660.663 282.0204,-669.3266 286.092,-663.6326\"/>\n",
       "<text text-anchor=\"middle\" x=\"358.5\" y=\"-945.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0024 -->\n",
       "<g id=\"node25\" class=\"node\">\n",
       "<title>node0024</title>\n",
       "<polygon fill=\"none\" stroke=\"#000000\" points=\"157,-72 85,-72 85,0 157,0 157,-72\"/>\n",
       "<text text-anchor=\"middle\" x=\"121\" y=\"-39\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q35120\">Q35120</a></text>\n",
       "<text text-anchor=\"middle\" x=\"121\" y=\"-28\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">entity</text>\n",
       "</g>\n",
       "<!-- node0019&#45;&gt;node0024 -->\n",
       "<g id=\"edge27\" class=\"edge\">\n",
       "<title>node0019-&gt;node0024</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M103.1404,-336.0421C106.7847,-274.8163 114.1915,-150.3834 118.2271,-82.584\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"121.7443,-82.3975 118.8448,-72.2072 114.7567,-81.9815 121.7443,-82.3975\"/>\n",
       "<text text-anchor=\"middle\" x=\"119.5\" y=\"-216.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0020&#45;&gt;node0024 -->\n",
       "<g id=\"edge28\" class=\"edge\">\n",
       "<title>node0020-&gt;node0024</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M157.3373,-125.3897C151.8345,-111.853 145.4021,-96.0291 139.4913,-81.4887\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"142.7057,-80.1017 135.6975,-72.1559 136.221,-82.7378 142.7057,-80.1017\"/>\n",
       "<text text-anchor=\"middle\" x=\"157.5\" y=\"-93.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0021&#45;&gt;node0014 -->\n",
       "<g id=\"edge29\" class=\"edge\">\n",
       "<title>node0021-&gt;node0014</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M173,-425.5743C173,-397.5469 173,-358.621 173,-328.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"176.5001,-328.0639 173,-318.0639 169.5001,-328.064 176.5001,-328.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"182.5\" y=\"-368.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0025 -->\n",
       "<g id=\"node26\" class=\"node\">\n",
       "<title>node0025</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"596\" cy=\"-3264\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-3267\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q181296\">Q181296</a></text>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-3256\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">abelian group</text>\n",
       "</g>\n",
       "<!-- node0022&#45;&gt;node0025 -->\n",
       "<g id=\"edge30\" class=\"edge\">\n",
       "<title>node0022-&gt;node0025</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M534.8148,-3356.9108C545.5036,-3340.6797 558.8201,-3320.4584 570.298,-3303.0289\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"573.5322,-3304.4816 576.109,-3294.2048 567.6859,-3300.6316 573.5322,-3304.4816\"/>\n",
       "<text text-anchor=\"middle\" x=\"569.5\" y=\"-3321.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0026 -->\n",
       "<g id=\"node27\" class=\"node\">\n",
       "<title>node0026</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"147\" cy=\"-1986\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-1989\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5358816\">Q5358816</a></text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-1978\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">element</text>\n",
       "</g>\n",
       "<!-- node0023&#45;&gt;node0026 -->\n",
       "<g id=\"edge31\" class=\"edge\">\n",
       "<title>node0023-&gt;node0026</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M147,-2072.7612C147,-2060.2361 147,-2046.0191 147,-2032.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"150.5001,-2032.4048 147,-2022.4048 143.5001,-2032.4048 150.5001,-2032.4048\"/>\n",
       "<text text-anchor=\"middle\" x=\"156.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0027 -->\n",
       "<g id=\"node28\" class=\"node\">\n",
       "<title>node0027</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"543\" cy=\"-2772\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"543\" y=\"-2775\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q83478\">Q83478</a></text>\n",
       "<text text-anchor=\"middle\" x=\"543\" y=\"-2764\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">group</text>\n",
       "</g>\n",
       "<!-- node0025&#45;&gt;node0027 -->\n",
       "<g id=\"edge32\" class=\"edge\">\n",
       "<title>node0025-&gt;node0027</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M596,-3227.94C596,-3203.4244 596,-3170.2552 596,-3141 596,-3141 596,-3141 596,-2895 596,-2865.0301 582.565,-2834.0592 569.2234,-2810.6924\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"572.0631,-2808.6194 563.947,-2801.8091 566.0447,-2812.1942 572.0631,-2808.6194\"/>\n",
       "<text text-anchor=\"middle\" x=\"605.5\" y=\"-3014.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0028 -->\n",
       "<g id=\"node29\" class=\"node\">\n",
       "<title>node0028</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"530\" cy=\"-3141\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-3144\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1755242\">Q1755242</a></text>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-3133\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">nilpotent group</text>\n",
       "</g>\n",
       "<!-- node0025&#45;&gt;node0028 -->\n",
       "<g id=\"edge33\" class=\"edge\">\n",
       "<title>node0025-&gt;node0028</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M576.5998,-3233.478C571.9885,-3225.8951 567.1933,-3217.7248 563,-3210 558.3453,-3201.4252 553.644,-3192.0885 549.3064,-3183.1336\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"552.4053,-3181.5008 544.9349,-3173.9878 546.0896,-3184.5195 552.4053,-3181.5008\"/>\n",
       "<text text-anchor=\"middle\" x=\"572.5\" y=\"-3198.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0029 -->\n",
       "<g id=\"node30\" class=\"node\">\n",
       "<title>node0029</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"651\" cy=\"-2772\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"651\" y=\"-2780.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q19934355\">Q19934355</a></text>\n",
       "<text text-anchor=\"middle\" x=\"651\" y=\"-2769.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative</text>\n",
       "<text text-anchor=\"middle\" x=\"651\" y=\"-2758.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">monoid</text>\n",
       "</g>\n",
       "<!-- node0025&#45;&gt;node0029 -->\n",
       "<g id=\"edge34\" class=\"edge\">\n",
       "<title>node0025-&gt;node0029</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M617.4219,-3234.7942C632.865,-3210.8382 651,-3175.3859 651,-3141 651,-3141 651,-3141 651,-2895 651,-2869.6302 651,-2841.3171 651,-2818.2564\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"654.5001,-2818.06 651,-2808.06 647.5001,-2818.06 654.5001,-2818.06\"/>\n",
       "<text text-anchor=\"middle\" x=\"660.5\" y=\"-3014.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0030 -->\n",
       "<g id=\"node31\" class=\"node\">\n",
       "<title>node0030</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"831\" cy=\"-2649\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"831\" y=\"-2663\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q39485777\">Q39485777</a></text>\n",
       "<text text-anchor=\"middle\" x=\"831\" y=\"-2652\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative</text>\n",
       "<text text-anchor=\"middle\" x=\"831\" y=\"-2641\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">Moufang</text>\n",
       "<text text-anchor=\"middle\" x=\"831\" y=\"-2630\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">loop</text>\n",
       "</g>\n",
       "<!-- node0025&#45;&gt;node0030 -->\n",
       "<g id=\"edge35\" class=\"edge\">\n",
       "<title>node0025-&gt;node0030</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M631.7933,-3259.6025C691.9925,-3249.9901 807,-3221.1391 807,-3141 807,-3141 807,-3141 807,-2772 807,-2745.6563 812.369,-2716.7166 818.0281,-2693.5298\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"821.4702,-2694.1953 820.5431,-2683.6411 814.6862,-2692.4699 821.4702,-2694.1953\"/>\n",
       "<text text-anchor=\"middle\" x=\"816.5\" y=\"-2952.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0031 -->\n",
       "<g id=\"node32\" class=\"node\">\n",
       "<title>node0031</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"149\" cy=\"-1806\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"149\" y=\"-1809\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1948412\">Q1948412</a></text>\n",
       "<text text-anchor=\"middle\" x=\"149\" y=\"-1798\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">morphism</text>\n",
       "</g>\n",
       "<!-- node0026&#45;&gt;node0031 -->\n",
       "<g id=\"edge36\" class=\"edge\">\n",
       "<title>node0026-&gt;node0031</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M147.4047,-1949.5743C147.7161,-1921.5469 148.1487,-1882.621 148.4848,-1852.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"151.9879,-1852.1022 148.5993,-1842.0639 144.9883,-1852.0244 151.9879,-1852.1022\"/>\n",
       "<text text-anchor=\"middle\" x=\"157.5\" y=\"-1892.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0012 -->\n",
       "<g id=\"edge37\" class=\"edge\">\n",
       "<title>node0027-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M573.054,-2751.7466C611.7297,-2724.567 674,-2676.5313 674,-2649 674,-2649 674,-2649 674,-2289 674,-2181.4314 658,-2155.0686 658,-2047.5 658,-2047.5 658,-2047.5 661,-1560 661,-1495.5981 740.8392,-1462.2899 793.5766,-1447.3132\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"794.6743,-1450.6419 803.4069,-1444.6425 792.839,-1443.8868 794.6743,-1450.6419\"/>\n",
       "<text text-anchor=\"middle\" x=\"667.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0032 -->\n",
       "<g id=\"node33\" class=\"node\">\n",
       "<title>node0032</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"448\" cy=\"-2649\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"448\" y=\"-2652\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q208237\">Q208237</a></text>\n",
       "<text text-anchor=\"middle\" x=\"448\" y=\"-2641\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">monoid</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0032 -->\n",
       "<g id=\"edge38\" class=\"edge\">\n",
       "<title>node0027-&gt;node0032</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M509.1318,-2759.2498C490.6757,-2750.4997 469.1757,-2736.9997 457,-2718 452.6461,-2711.2059 449.9515,-2703.2596 448.3468,-2695.225\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"451.7727,-2694.4646 446.8542,-2685.0807 444.8473,-2695.4837 451.7727,-2694.4646\"/>\n",
       "<text text-anchor=\"middle\" x=\"466.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0033 -->\n",
       "<g id=\"node34\" class=\"node\">\n",
       "<title>node0033</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"219\" cy=\"-2649\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"219\" y=\"-2652\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q765994\">Q765994</a></text>\n",
       "<text text-anchor=\"middle\" x=\"219\" y=\"-2641\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">group object</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0033 -->\n",
       "<g id=\"edge39\" class=\"edge\">\n",
       "<title>node0027-&gt;node0033</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M508.5607,-2760.941C476.3992,-2750.4458 427.1614,-2733.9482 385,-2718 342.623,-2701.9702 294.9271,-2681.9322 261.5718,-2667.5866\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"262.7006,-2664.2618 252.1321,-2663.514 259.9276,-2670.6891 262.7006,-2664.2618\"/>\n",
       "<text text-anchor=\"middle\" x=\"394.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0034 -->\n",
       "<g id=\"node35\" class=\"node\">\n",
       "<title>node0034</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"358\" cy=\"-2649\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"358\" y=\"-2652\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1196038\">Q1196038</a></text>\n",
       "<text text-anchor=\"middle\" x=\"358\" y=\"-2641\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">groupoid</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0034 -->\n",
       "<g id=\"edge40\" class=\"edge\">\n",
       "<title>node0027-&gt;node0034</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M509.0852,-2759.8695C485.0155,-2750.4115 452.5722,-2735.8935 427,-2718 413.2225,-2708.3596 399.756,-2695.822 388.4304,-2684.0831\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"390.7175,-2681.4063 381.3153,-2676.5228 385.6199,-2686.2037 390.7175,-2681.4063\"/>\n",
       "<text text-anchor=\"middle\" x=\"436.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0035 -->\n",
       "<g id=\"node36\" class=\"node\">\n",
       "<title>node0035</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"543\" cy=\"-2649\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"543\" y=\"-2657.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q3022118\">Q3022118</a></text>\n",
       "<text text-anchor=\"middle\" x=\"543\" y=\"-2646.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">inverse</text>\n",
       "<text text-anchor=\"middle\" x=\"543\" y=\"-2635.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0035 -->\n",
       "<g id=\"edge41\" class=\"edge\">\n",
       "<title>node0027-&gt;node0035</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M543,-2735.7612C543,-2723.2361 543,-2709.0191 543,-2695.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"546.5001,-2695.4048 543,-2685.4048 539.5001,-2695.4048 546.5001,-2695.4048\"/>\n",
       "<text text-anchor=\"middle\" x=\"552.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0036 -->\n",
       "<g id=\"node37\" class=\"node\">\n",
       "<title>node0036</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"623\" cy=\"-2559\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"623\" y=\"-2562\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5382940\">Q5382940</a></text>\n",
       "<text text-anchor=\"middle\" x=\"623\" y=\"-2551\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">epigroup</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0036 -->\n",
       "<g id=\"edge42\" class=\"edge\">\n",
       "<title>node0027-&gt;node0036</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M561.2921,-2740.5093C570.1882,-2724.2977 580.542,-2703.9943 588,-2685 598.2371,-2658.9276 606.7361,-2628.7208 612.7946,-2604.4201\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"616.2701,-2604.941 615.2397,-2594.3964 609.4695,-2603.2821 616.2701,-2604.941\"/>\n",
       "<text text-anchor=\"middle\" x=\"588.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0037 -->\n",
       "<g id=\"node38\" class=\"node\">\n",
       "<title>node0037</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"828\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"828\" y=\"-2472\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q6918890\">Q6918890</a></text>\n",
       "<text text-anchor=\"middle\" x=\"828\" y=\"-2461\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">Moufang loop</text>\n",
       "</g>\n",
       "<!-- node0027&#45;&gt;node0037 -->\n",
       "<g id=\"edge43\" class=\"edge\">\n",
       "<title>node0027-&gt;node0037</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M573.1603,-2752.2967C583.2772,-2746.3674 594.8322,-2740.301 606,-2736 640.8192,-2722.5903 658.0129,-2740.203 688,-2718 724.4896,-2690.9824 780.4007,-2575.2335 809.2846,-2511.5022\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"812.596,-2512.6727 813.5129,-2502.1176 806.2139,-2509.7972 812.596,-2512.6727\"/>\n",
       "<text text-anchor=\"middle\" x=\"768.5\" y=\"-2645.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0038 -->\n",
       "<g id=\"node39\" class=\"node\">\n",
       "<title>node0038</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"524\" cy=\"-3018\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"524\" y=\"-3021\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q759832\">Q759832</a></text>\n",
       "<text text-anchor=\"middle\" x=\"524\" y=\"-3010\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">solvable group</text>\n",
       "</g>\n",
       "<!-- node0028&#45;&gt;node0038 -->\n",
       "<g id=\"edge44\" class=\"edge\">\n",
       "<title>node0028-&gt;node0038</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M528.2323,-3104.7612C527.6097,-3091.9992 526.9015,-3077.4806 526.2449,-3064.0202\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"529.7383,-3063.7973 525.7551,-3053.9798 522.7466,-3064.1385 529.7383,-3063.7973\"/>\n",
       "<text text-anchor=\"middle\" x=\"536.5\" y=\"-3075.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0029&#45;&gt;node0032 -->\n",
       "<g id=\"edge45\" class=\"edge\">\n",
       "<title>node0029-&gt;node0032</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M620.4076,-2752.3916C610.3615,-2746.5371 598.9569,-2740.4906 588,-2736 559.0721,-2724.1442 547.2626,-2733.3014 520,-2718 504.6214,-2709.3686 490.0821,-2696.6821 478.1488,-2684.534\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"480.4952,-2681.9221 471.0712,-2677.0807 475.4191,-2686.7423 480.4952,-2681.9221\"/>\n",
       "<text text-anchor=\"middle\" x=\"529.5\" y=\"-2706.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0039 -->\n",
       "<g id=\"node40\" class=\"node\">\n",
       "<title>node0039</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"738\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"738\" y=\"-2297.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q27672715\">Q27672715</a></text>\n",
       "<text text-anchor=\"middle\" x=\"738\" y=\"-2286.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative</text>\n",
       "<text text-anchor=\"middle\" x=\"738\" y=\"-2275.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0029&#45;&gt;node0039 -->\n",
       "<g id=\"edge46\" class=\"edge\">\n",
       "<title>node0029-&gt;node0039</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M673.9363,-2744.0151C679.3945,-2736.0384 684.6118,-2727.0462 688,-2718 737.5224,-2585.7794 741.2446,-2415.972 739.7496,-2335.4024\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"743.242,-2335.021 739.5203,-2325.1014 736.2438,-2335.1768 743.242,-2335.021\"/>\n",
       "<text text-anchor=\"middle\" x=\"740.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0030&#45;&gt;node0037 -->\n",
       "<g id=\"edge47\" class=\"edge\">\n",
       "<title>node0030-&gt;node0037</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M830.3929,-2612.5743C829.9258,-2584.5469 829.277,-2545.621 828.7728,-2515.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"832.2673,-2515.0042 828.6011,-2505.0639 825.2683,-2515.1209 832.2673,-2515.0042\"/>\n",
       "<text text-anchor=\"middle\" x=\"839.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0040 -->\n",
       "<g id=\"node41\" class=\"node\">\n",
       "<title>node0040</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"918\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"918\" y=\"-2472\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q39486222\">Q39486222</a></text>\n",
       "<text text-anchor=\"middle\" x=\"918\" y=\"-2461\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative loop</text>\n",
       "</g>\n",
       "<!-- node0030&#45;&gt;node0040 -->\n",
       "<g id=\"edge48\" class=\"edge\">\n",
       "<title>node0030-&gt;node0040</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M846.755,-2616.4034C861.0612,-2586.8044 882.2387,-2542.9888 897.7874,-2510.8191\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"901.0149,-2512.1844 902.2154,-2501.6578 894.7124,-2509.1382 901.0149,-2512.1844\"/>\n",
       "<text text-anchor=\"middle\" x=\"898.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0041 -->\n",
       "<g id=\"node42\" class=\"node\">\n",
       "<title>node0041</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"155\" cy=\"-1683\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"155\" y=\"-1686\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q370502\">Q370502</a></text>\n",
       "<text text-anchor=\"middle\" x=\"155\" y=\"-1675\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">mapping</text>\n",
       "</g>\n",
       "<!-- node0031&#45;&gt;node0041 -->\n",
       "<g id=\"edge49\" class=\"edge\">\n",
       "<title>node0031-&gt;node0041</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M150.7677,-1769.7612C151.3903,-1756.9992 152.0985,-1742.4806 152.7551,-1729.0202\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"156.2534,-1729.1385 153.2449,-1718.9798 149.2617,-1728.7973 156.2534,-1729.1385\"/>\n",
       "<text text-anchor=\"middle\" x=\"161.5\" y=\"-1740.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0042 -->\n",
       "<g id=\"node43\" class=\"node\">\n",
       "<title>node0042</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"589\" cy=\"-2109\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"589\" y=\"-2112\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q207348\">Q207348</a></text>\n",
       "<text text-anchor=\"middle\" x=\"589\" y=\"-2101\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0032&#45;&gt;node0042 -->\n",
       "<g id=\"edge50\" class=\"edge\">\n",
       "<title>node0032-&gt;node0042</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M443.8462,-2613.0952C436.8982,-2542.4227 427.1387,-2381.0164 465,-2253 478.1653,-2208.4855 487.1687,-2197.7029 518,-2163 527.3439,-2152.4827 538.997,-2142.6298 550.1436,-2134.2941\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"552.4737,-2136.9283 558.5222,-2128.2297 548.3693,-2131.2578 552.4737,-2136.9283\"/>\n",
       "<text text-anchor=\"middle\" x=\"454.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0043 -->\n",
       "<g id=\"node44\" class=\"node\">\n",
       "<title>node0043</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"382\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"382\" y=\"-2472\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q719395\">Q719395</a></text>\n",
       "<text text-anchor=\"middle\" x=\"382\" y=\"-2461\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">category</text>\n",
       "</g>\n",
       "<!-- node0032&#45;&gt;node0043 -->\n",
       "<g id=\"edge51\" class=\"edge\">\n",
       "<title>node0032-&gt;node0043</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M426.512,-2619.7254C421.5339,-2611.9707 416.6362,-2603.4085 413,-2595 401.9684,-2569.49 394.3698,-2539.3035 389.4573,-2514.873\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"392.8426,-2513.943 387.5143,-2504.7855 385.969,-2515.2671 392.8426,-2513.943\"/>\n",
       "<text text-anchor=\"middle\" x=\"422.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0044 -->\n",
       "<g id=\"node45\" class=\"node\">\n",
       "<title>node0044</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"147\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2472\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q2785361\">Q2785361</a></text>\n",
       "<text text-anchor=\"middle\" x=\"147\" y=\"-2461\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">monoid object</text>\n",
       "</g>\n",
       "<!-- node0032&#45;&gt;node0044 -->\n",
       "<g id=\"edge52\" class=\"edge\">\n",
       "<title>node0032-&gt;node0044</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M421.4034,-2624.0748C415.6775,-2619.7949 409.4089,-2615.8237 403,-2613 355.6579,-2592.1415 334.7558,-2617.1415 288,-2595 243.3323,-2573.8473 202.4383,-2533.9986 176.327,-2504.7585\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"178.9157,-2502.4021 169.6889,-2497.1947 173.6545,-2507.0194 178.9157,-2502.4021\"/>\n",
       "<text text-anchor=\"middle\" x=\"297.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0033&#45;&gt;node0044 -->\n",
       "<g id=\"edge53\" class=\"edge\">\n",
       "<title>node0033-&gt;node0044</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M185.811,-2634.2029C170.0903,-2625.2879 152.8509,-2612.2791 144,-2595 131.3307,-2570.2665 131.9702,-2539.0629 135.8317,-2513.8963\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"139.3099,-2514.324 137.5849,-2503.8706 132.4146,-2513.1182 139.3099,-2514.324\"/>\n",
       "<text text-anchor=\"middle\" x=\"153.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0045 -->\n",
       "<g id=\"node46\" class=\"node\">\n",
       "<title>node0045</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"292\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"292\" y=\"-2297.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q6047782\">Q6047782</a></text>\n",
       "<text text-anchor=\"middle\" x=\"292\" y=\"-2286.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">internal</text>\n",
       "<text text-anchor=\"middle\" x=\"292\" y=\"-2275.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">category</text>\n",
       "</g>\n",
       "<!-- node0033&#45;&gt;node0045 -->\n",
       "<g id=\"edge54\" class=\"edge\">\n",
       "<title>node0033-&gt;node0045</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M216.4221,-2612.8993C214.2562,-2569.5521 213.5007,-2494.9433 228,-2433 236.571,-2396.3833 254.3901,-2357.5713 269.0545,-2329.479\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"272.2869,-2330.8547 273.8888,-2320.3817 266.1054,-2327.5699 272.2869,-2330.8547\"/>\n",
       "<text text-anchor=\"middle\" x=\"237.5\" y=\"-2465.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0034&#45;&gt;node0043 -->\n",
       "<g id=\"edge55\" class=\"edge\">\n",
       "<title>node0034-&gt;node0043</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M359.1905,-2612.9504C360.4329,-2587.642 362.9468,-2553.0804 368,-2523 368.5129,-2519.9466 369.1161,-2516.8138 369.7789,-2513.6688\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"373.249,-2514.194 372.0618,-2503.6659 366.4245,-2512.6365 373.249,-2514.194\"/>\n",
       "<text text-anchor=\"middle\" x=\"377.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0046 -->\n",
       "<g id=\"node47\" class=\"node\">\n",
       "<title>node0046</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"292\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"292\" y=\"-2472\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q17077830\">Q17077830</a></text>\n",
       "<text text-anchor=\"middle\" x=\"292\" y=\"-2461\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">groupoid object</text>\n",
       "</g>\n",
       "<!-- node0034&#45;&gt;node0046 -->\n",
       "<g id=\"edge56\" class=\"edge\">\n",
       "<title>node0034-&gt;node0046</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M344.7482,-2615.3526C342.1454,-2608.6244 339.4604,-2601.5974 337,-2595 326.8345,-2567.7418 315.8449,-2536.9968 307.2706,-2512.7009\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"310.4956,-2511.3215 303.8726,-2503.0518 303.893,-2513.6467 310.4956,-2511.3215\"/>\n",
       "<text text-anchor=\"middle\" x=\"346.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0047 -->\n",
       "<g id=\"node48\" class=\"node\">\n",
       "<title>node0047</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"510\" cy=\"-2469\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2477.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q3022119\">Q3022119</a></text>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2466.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">regular</text>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2455.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0035&#45;&gt;node0047 -->\n",
       "<g id=\"edge57\" class=\"edge\">\n",
       "<title>node0035-&gt;node0047</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M528.4256,-2615.7544C525.9319,-2608.993 523.6253,-2601.8511 522,-2595 515.8366,-2569.0188 512.8206,-2539.3128 511.3528,-2515.2722\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"514.8324,-2514.7986 510.7976,-2505.0021 507.8426,-2515.1765 514.8324,-2514.7986\"/>\n",
       "<text text-anchor=\"middle\" x=\"531.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0048 -->\n",
       "<g id=\"node49\" class=\"node\">\n",
       "<title>node0048</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"570\" cy=\"-2379\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"570\" y=\"-2393\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q7449422\">Q7449422</a></text>\n",
       "<text text-anchor=\"middle\" x=\"570\" y=\"-2382\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "<text text-anchor=\"middle\" x=\"570\" y=\"-2371\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">with</text>\n",
       "<text text-anchor=\"middle\" x=\"570\" y=\"-2360\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">involution</text>\n",
       "</g>\n",
       "<!-- node0035&#45;&gt;node0048 -->\n",
       "<g id=\"edge58\" class=\"edge\">\n",
       "<title>node0035-&gt;node0048</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M546.5854,-2613.1461C551.4268,-2564.7324 560.0595,-2478.4047 565.3816,-2425.1839\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"568.8873,-2425.3009 566.3998,-2415.0022 561.922,-2424.6043 568.8873,-2425.3009\"/>\n",
       "<text text-anchor=\"middle\" x=\"564.5\" y=\"-2555.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0036&#45;&gt;node0042 -->\n",
       "<g id=\"edge59\" class=\"edge\">\n",
       "<title>node0036-&gt;node0042</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M620.5256,-2522.7197C616.5871,-2465.4144 608.5627,-2350.443 601,-2253 598.4586,-2220.2546 595.3781,-2183.3397 592.9745,-2155.0844\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"596.4594,-2154.7564 592.1219,-2145.0902 589.4847,-2155.3515 596.4594,-2154.7564\"/>\n",
       "<text text-anchor=\"middle\" x=\"621.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0049 -->\n",
       "<g id=\"node50\" class=\"node\">\n",
       "<title>node0049</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"828\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"828\" y=\"-2292\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q3836720\">Q3836720</a></text>\n",
       "<text text-anchor=\"middle\" x=\"828\" y=\"-2281\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">loop</text>\n",
       "</g>\n",
       "<!-- node0037&#45;&gt;node0049 -->\n",
       "<g id=\"edge60\" class=\"edge\">\n",
       "<title>node0037-&gt;node0049</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M828,-2432.5743C828,-2404.5469 828,-2365.621 828,-2335.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"831.5001,-2335.0639 828,-2325.0639 824.5001,-2335.064 831.5001,-2335.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"837.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0050 -->\n",
       "<g id=\"node51\" class=\"node\">\n",
       "<title>node0050</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"530\" cy=\"-2895\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-2898\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q7784285\">Q7784285</a></text>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-2887\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">thin group</text>\n",
       "</g>\n",
       "<!-- node0038&#45;&gt;node0050 -->\n",
       "<g id=\"edge61\" class=\"edge\">\n",
       "<title>node0038-&gt;node0050</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M525.7677,-2981.7612C526.3903,-2968.9992 527.0985,-2954.4806 527.7551,-2941.0202\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"531.2534,-2941.1385 528.2449,-2930.9798 524.2617,-2940.7973 531.2534,-2941.1385\"/>\n",
       "<text text-anchor=\"middle\" x=\"536.5\" y=\"-2952.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0039&#45;&gt;node0042 -->\n",
       "<g id=\"edge62\" class=\"edge\">\n",
       "<title>node0039-&gt;node0042</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M714.7188,-2260.875C688.8042,-2229.5689 646.8643,-2178.9032 618.629,-2144.7934\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"621.1905,-2142.3989 612.1178,-2136.9275 615.7982,-2146.8626 621.1905,-2142.3989\"/>\n",
       "<text text-anchor=\"middle\" x=\"698.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0051 -->\n",
       "<g id=\"node52\" class=\"node\">\n",
       "<title>node0051</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"725\" cy=\"-2109\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"725\" y=\"-2117.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q5419309\">Q5419309</a></text>\n",
       "<text text-anchor=\"middle\" x=\"725\" y=\"-2106.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative</text>\n",
       "<text text-anchor=\"middle\" x=\"725\" y=\"-2095.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">magma</text>\n",
       "</g>\n",
       "<!-- node0039&#45;&gt;node0051 -->\n",
       "<g id=\"edge63\" class=\"edge\">\n",
       "<title>node0039-&gt;node0051</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M735.4005,-2253.0069C733.3723,-2224.924 730.54,-2185.7084 728.3432,-2155.2903\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"731.8063,-2154.6526 727.595,-2144.9307 724.8245,-2155.1569 731.8063,-2154.6526\"/>\n",
       "<text text-anchor=\"middle\" x=\"742.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0052 -->\n",
       "<g id=\"node53\" class=\"node\">\n",
       "<title>node0052</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"878\" cy=\"-1986\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"878\" y=\"-1989\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q6806018\">Q6806018</a></text>\n",
       "<text text-anchor=\"middle\" x=\"878\" y=\"-1978\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">medial magma</text>\n",
       "</g>\n",
       "<!-- node0039&#45;&gt;node0052 -->\n",
       "<g id=\"edge64\" class=\"edge\">\n",
       "<title>node0039-&gt;node0052</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M749.5422,-2254.7582C751.7139,-2248.2077 753.9465,-2241.3984 756,-2235 779.0266,-2163.2532 770.1824,-2139.2942 806,-2073 816.4756,-2053.6108 831.6332,-2034.4754 845.3416,-2019.109\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"848.1891,-2021.181 852.3455,-2011.4355 843.0189,-2016.4619 848.1891,-2021.181\"/>\n",
       "<text text-anchor=\"middle\" x=\"815.5\" y=\"-2105.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0040&#45;&gt;node0012 -->\n",
       "<g id=\"edge65\" class=\"edge\">\n",
       "<title>node0040-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M936.3398,-2437.9988C955.2517,-2403.039 982,-2343.8906 982,-2289 982,-2289 982,-2289 982,-1560 982,-1506.8748 924.5724,-1471.686 882.5023,-1453.0353\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"883.8233,-1449.7936 873.2521,-1449.0867 881.0752,-1456.2317 883.8233,-1449.7936\"/>\n",
       "<text text-anchor=\"middle\" x=\"991.5\" y=\"-1892.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0040&#45;&gt;node0049 -->\n",
       "<g id=\"edge66\" class=\"edge\">\n",
       "<title>node0040-&gt;node0049</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M901.7017,-2436.4034C886.8561,-2406.7122 864.8578,-2362.7157 848.7594,-2330.5188\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"851.7798,-2328.7332 844.1771,-2321.3541 845.5188,-2331.8637 851.7798,-2328.7332\"/>\n",
       "<text text-anchor=\"middle\" x=\"897.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0053 -->\n",
       "<g id=\"node54\" class=\"node\">\n",
       "<title>node0053</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"918\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"918\" y=\"-2297.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q39653372\">Q39653372</a></text>\n",
       "<text text-anchor=\"middle\" x=\"918\" y=\"-2286.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">commutative</text>\n",
       "<text text-anchor=\"middle\" x=\"918\" y=\"-2275.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">quasigroup</text>\n",
       "</g>\n",
       "<!-- node0040&#45;&gt;node0053 -->\n",
       "<g id=\"edge67\" class=\"edge\">\n",
       "<title>node0040-&gt;node0053</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M918,-2432.5743C918,-2404.5469 918,-2365.621 918,-2335.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"921.5001,-2335.0639 918,-2325.0639 914.5001,-2335.064 921.5001,-2335.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"927.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0054 -->\n",
       "<g id=\"node55\" class=\"node\">\n",
       "<title>node0054</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"164\" cy=\"-1560\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"164\" y=\"-1563\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q11348\">Q11348</a></text>\n",
       "<text text-anchor=\"middle\" x=\"164\" y=\"-1552\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">function</text>\n",
       "</g>\n",
       "<!-- node0041&#45;&gt;node0054 -->\n",
       "<g id=\"edge68\" class=\"edge\">\n",
       "<title>node0041-&gt;node0054</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M157.6274,-1647.0927C158.5618,-1634.3225 159.6273,-1619.7605 160.6161,-1606.2472\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"164.1146,-1606.3937 161.3538,-1596.1649 157.1333,-1605.8828 164.1146,-1606.3937\"/>\n",
       "<text text-anchor=\"middle\" x=\"169.5\" y=\"-1617.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0055 -->\n",
       "<g id=\"node56\" class=\"node\">\n",
       "<title>node0055</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"530\" cy=\"-1986\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-1989\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q4164581\">Q4164581</a></text>\n",
       "<text text-anchor=\"middle\" x=\"530\" y=\"-1978\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroupoid</text>\n",
       "</g>\n",
       "<!-- node0042&#45;&gt;node0055 -->\n",
       "<g id=\"edge69\" class=\"edge\">\n",
       "<title>node0042-&gt;node0055</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M567.5281,-2079.858C562.3375,-2072.0308 557.1088,-2063.401 553,-2055 549.2119,-2047.2547 545.8083,-2038.7324 542.8536,-2030.3985\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"546.1134,-2029.1121 539.5951,-2020.7597 539.4821,-2031.354 546.1134,-2029.1121\"/>\n",
       "<text text-anchor=\"middle\" x=\"562.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0056 -->\n",
       "<g id=\"node57\" class=\"node\">\n",
       "<title>node0056</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"594\" cy=\"-1896\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"594\" y=\"-1904.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q97152390\">Q97152390</a></text>\n",
       "<text text-anchor=\"middle\" x=\"594\" y=\"-1893.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">partial</text>\n",
       "<text text-anchor=\"middle\" x=\"594\" y=\"-1882.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0042&#45;&gt;node0056 -->\n",
       "<g id=\"edge70\" class=\"edge\">\n",
       "<title>node0042-&gt;node0056</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M589.8482,-2072.8675C590.6922,-2036.9124 591.9909,-1981.5892 592.9107,-1942.4031\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"596.4119,-1942.3892 593.1477,-1932.3098 589.4138,-1942.2249 596.4119,-1942.3892\"/>\n",
       "<text text-anchor=\"middle\" x=\"599.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0057 -->\n",
       "<g id=\"node58\" class=\"node\">\n",
       "<title>node0057</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"733\" cy=\"-1986\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"733\" y=\"-1989\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q98099755\">Q98099755</a></text>\n",
       "<text text-anchor=\"middle\" x=\"733\" y=\"-1978\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">flexible magma</text>\n",
       "</g>\n",
       "<!-- node0042&#45;&gt;node0057 -->\n",
       "<g id=\"edge71\" class=\"edge\">\n",
       "<title>node0042-&gt;node0057</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M621.726,-2093.8285C640.3014,-2084.2713 663.3014,-2070.7713 681,-2055 690.8086,-2046.2595 699.9924,-2035.4231 707.8307,-2024.948\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"710.7918,-2026.826 713.8147,-2016.6716 705.1192,-2022.7246 710.7918,-2026.826\"/>\n",
       "<text text-anchor=\"middle\" x=\"703.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0043&#45;&gt;node0055 -->\n",
       "<g id=\"edge72\" class=\"edge\">\n",
       "<title>node0043-&gt;node0055</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M389.8685,-2433.8651C391.2574,-2427.5857 392.6805,-2421.1014 394,-2415 418.192,-2303.1358 410.6841,-2271.5358 447,-2163 463.213,-2114.5449 489.0611,-2061.8681 507.605,-2026.6922\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"510.7836,-2028.1693 512.3893,-2017.6968 504.6033,-2024.8823 510.7836,-2028.1693\"/>\n",
       "<text text-anchor=\"middle\" x=\"456.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0058 -->\n",
       "<g id=\"node59\" class=\"node\">\n",
       "<title>node0058</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"349\" cy=\"-2199\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"349\" y=\"-2202\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q7977957\">Q7977957</a></text>\n",
       "<text text-anchor=\"middle\" x=\"349\" y=\"-2191\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">weak n-category</text>\n",
       "</g>\n",
       "<!-- node0043&#45;&gt;node0058 -->\n",
       "<g id=\"edge73\" class=\"edge\">\n",
       "<title>node0043-&gt;node0058</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M377.3227,-2433.2782C376.5377,-2427.181 375.7387,-2420.9097 375,-2415 367.6703,-2356.3614 359.5884,-2288.7183 354.4115,-2244.9796\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"357.8743,-2244.4579 353.2243,-2234.9381 350.9227,-2245.2799 357.8743,-2244.4579\"/>\n",
       "<text text-anchor=\"middle\" x=\"384.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0044&#45;&gt;node0017 -->\n",
       "<g id=\"edge74\" class=\"edge\">\n",
       "<title>node0044-&gt;node0017</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M147,-2432.5743C147,-2404.5469 147,-2365.621 147,-2335.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"150.5001,-2335.0639 147,-2325.0639 143.5001,-2335.064 150.5001,-2335.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"156.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0045&#45;&gt;node0018 -->\n",
       "<g id=\"edge75\" class=\"edge\">\n",
       "<title>node0045-&gt;node0018</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M292.9575,-2252.8024C293.8354,-2216.4565 295,-2158.8507 295,-2109 295,-2109 295,-2109 295,-1437 295,-1387.8826 313.6749,-1334.285 329.0602,-1298.4629\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"332.2674,-1299.864 333.0903,-1289.3012 325.86,-1297.0454 332.2674,-1299.864\"/>\n",
       "<text text-anchor=\"middle\" x=\"304.5\" y=\"-1740.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0046&#45;&gt;node0045 -->\n",
       "<g id=\"edge76\" class=\"edge\">\n",
       "<title>node0046-&gt;node0045</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M292,-2432.5743C292,-2404.5469 292,-2365.621 292,-2335.3701\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"295.5001,-2335.0639 292,-2325.0639 288.5001,-2335.064 295.5001,-2335.0639\"/>\n",
       "<text text-anchor=\"middle\" x=\"301.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0059 -->\n",
       "<g id=\"node60\" class=\"node\">\n",
       "<title>node0059</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"510\" cy=\"-2289\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2297.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q18206693\">Q18206693</a></text>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2286.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">E-dense</text>\n",
       "<text text-anchor=\"middle\" x=\"510\" y=\"-2275.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">semigroup</text>\n",
       "</g>\n",
       "<!-- node0047&#45;&gt;node0059 -->\n",
       "<g id=\"edge77\" class=\"edge\">\n",
       "<title>node0047-&gt;node0059</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M506.9614,-2433.0025C506.5611,-2426.995 506.2154,-2420.8244 506,-2415 504.8172,-2383.0219 504.8172,-2374.9781 506,-2343 506.0942,-2340.4518 506.2134,-2337.8374 506.3512,-2335.1993\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"509.858,-2335.1887 506.9614,-2324.9975 502.8705,-2334.7707 509.858,-2335.1887\"/>\n",
       "<text text-anchor=\"middle\" x=\"515.5\" y=\"-2375.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0048&#45;&gt;node0042 -->\n",
       "<g id=\"edge78\" class=\"edge\">\n",
       "<title>node0048-&gt;node0042</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M572.5427,-2342.8668C575.9555,-2294.3692 582.02,-2208.1896 585.7574,-2155.0794\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"589.2617,-2155.1404 586.4723,-2144.9193 582.2789,-2154.6489 589.2617,-2155.1404\"/>\n",
       "<text text-anchor=\"middle\" x=\"587.5\" y=\"-2285.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0060 -->\n",
       "<g id=\"node61\" class=\"node\">\n",
       "<title>node0060</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"870\" cy=\"-2109\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"870\" y=\"-2112\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1503423\">Q1503423</a></text>\n",
       "<text text-anchor=\"middle\" x=\"870\" y=\"-2101\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">quasigroup</text>\n",
       "</g>\n",
       "<!-- node0049&#45;&gt;node0060 -->\n",
       "<g id=\"edge79\" class=\"edge\">\n",
       "<title>node0049-&gt;node0060</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M838.6794,-2254.5508C840.5505,-2248.0813 842.4061,-2241.3543 844,-2235 850.6572,-2208.4608 856.8967,-2178.4693 861.5939,-2154.4064\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"865.0503,-2154.9661 863.5092,-2144.484 858.1772,-2153.6393 865.0503,-2154.9661\"/>\n",
       "<text text-anchor=\"middle\" x=\"868.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0050&#45;&gt;node0027 -->\n",
       "<g id=\"edge80\" class=\"edge\">\n",
       "<title>node0050-&gt;node0027</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M533.7951,-2859.0927C535.1448,-2846.3225 536.6839,-2831.7605 538.1121,-2818.2472\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"541.6072,-2818.4774 539.1777,-2808.1649 534.6459,-2817.7416 541.6072,-2818.4774\"/>\n",
       "<text text-anchor=\"middle\" x=\"546.5\" y=\"-2829.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0051&#45;&gt;node0057 -->\n",
       "<g id=\"edge81\" class=\"edge\">\n",
       "<title>node0051-&gt;node0057</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M727.357,-2072.7612C728.187,-2059.9992 729.1313,-2045.4806 730.0068,-2032.0202\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"733.5033,-2032.1859 730.6599,-2021.9798 726.5181,-2031.7315 733.5033,-2032.1859\"/>\n",
       "<text text-anchor=\"middle\" x=\"738.5\" y=\"-2043.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0052&#45;&gt;node0012 -->\n",
       "<g id=\"edge82\" class=\"edge\">\n",
       "<title>node0052-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M877.0425,-1949.8024C876.1646,-1913.4565 875,-1855.8507 875,-1806 875,-1806 875,-1806 875,-1560 875,-1532.4517 866.5792,-1502.7795 857.883,-1479.4817\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"861.0484,-1477.9643 854.1629,-1469.9119 854.524,-1480.5006 861.0484,-1477.9643\"/>\n",
       "<text text-anchor=\"middle\" x=\"884.5\" y=\"-1679.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0061 -->\n",
       "<g id=\"node62\" class=\"node\">\n",
       "<title>node0061</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"805\" cy=\"-1806\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"805\" y=\"-1809\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q679903\">Q679903</a></text>\n",
       "<text text-anchor=\"middle\" x=\"805\" y=\"-1798\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">magma</text>\n",
       "</g>\n",
       "<!-- node0052&#45;&gt;node0061 -->\n",
       "<g id=\"edge83\" class=\"edge\">\n",
       "<title>node0052-&gt;node0061</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M856.3192,-1956.9578C851.1315,-1949.1292 845.9563,-1940.4738 842,-1932 835.2193,-1917.4769 824.7254,-1880.8974 816.6428,-1850.8711\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"819.9635,-1849.74 814.003,-1840.9808 813.2003,-1851.5452 819.9635,-1849.74\"/>\n",
       "<text text-anchor=\"middle\" x=\"851.5\" y=\"-1892.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0053&#45;&gt;node0012 -->\n",
       "<g id=\"edge84\" class=\"edge\">\n",
       "<title>node0053-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M923.1795,-2253.3283C923.9063,-2247.2254 924.5558,-2240.9391 925,-2235 941.2615,-2017.5619 935,-1962.5453 935,-1744.5 935,-1744.5 935,-1744.5 935,-1560 935,-1520.4764 903.8155,-1486.0503 876.9934,-1463.7499\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"878.8418,-1460.7461 868.8488,-1457.2261 874.4656,-1466.2095 878.8418,-1460.7461\"/>\n",
       "<text text-anchor=\"middle\" x=\"944.5\" y=\"-1802.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0053&#45;&gt;node0051 -->\n",
       "<g id=\"edge86\" class=\"edge\">\n",
       "<title>node0053-&gt;node0051</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M890.9658,-2264.9592C885.276,-2260.6063 879.1326,-2256.3821 873,-2253 851.5843,-2241.1893 840.8121,-2249.3388 821,-2235 803.9236,-2222.6411 772.8735,-2179.9006 750.709,-2147.5972\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"753.5207,-2145.5079 744.9962,-2139.2163 747.7366,-2149.4506 753.5207,-2145.5079\"/>\n",
       "<text text-anchor=\"middle\" x=\"830.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0053&#45;&gt;node0060 -->\n",
       "<g id=\"edge85\" class=\"edge\">\n",
       "<title>node0053-&gt;node0060</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M908.6312,-2253.8669C900.9994,-2225.2477 890.1758,-2184.6591 881.926,-2153.7224\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"885.3037,-2152.805 879.3452,-2144.0445 878.5401,-2154.6087 885.3037,-2152.805\"/>\n",
       "<text text-anchor=\"middle\" x=\"911.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0062 -->\n",
       "<g id=\"node63\" class=\"node\">\n",
       "<title>node0062</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"171\" cy=\"-1134\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"171\" y=\"-1137\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q130901\">Q130901</a></text>\n",
       "<text text-anchor=\"middle\" x=\"171\" y=\"-1126\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">binary relation</text>\n",
       "</g>\n",
       "<!-- node0054&#45;&gt;node0062 -->\n",
       "<g id=\"edge87\" class=\"edge\">\n",
       "<title>node0054-&gt;node0062</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M179.1188,-1527.0783C181.7771,-1520.2288 184.2491,-1512.9709 186,-1506 216.8605,-1383.1373 209.8498,-1346.1143 190,-1221 187.8186,-1207.2506 184.821,-1192.4097 181.8513,-1178.9463\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"185.2136,-1177.9455 179.5998,-1168.9602 178.385,-1179.4851 185.2136,-1177.9455\"/>\n",
       "<text text-anchor=\"middle\" x=\"216.5\" y=\"-1343.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0063 -->\n",
       "<g id=\"node64\" class=\"node\">\n",
       "<title>node0063</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"100\" cy=\"-1437\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"100\" y=\"-1445.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q629085\">Q629085</a></text>\n",
       "<text text-anchor=\"middle\" x=\"100\" y=\"-1434.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">multivalued</text>\n",
       "<text text-anchor=\"middle\" x=\"100\" y=\"-1423.5\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">function</text>\n",
       "</g>\n",
       "<!-- node0054&#45;&gt;node0063 -->\n",
       "<g id=\"edge88\" class=\"edge\">\n",
       "<title>node0054-&gt;node0063</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M140.4496,-1532.5919C134.19,-1524.4049 127.8345,-1515.1611 123,-1506 118.976,-1498.3747 115.4623,-1489.9083 112.473,-1481.592\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"115.732,-1480.3037 109.2056,-1471.9577 109.1028,-1482.552 115.732,-1480.3037\"/>\n",
       "<text text-anchor=\"middle\" x=\"132.5\" y=\"-1494.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0064 -->\n",
       "<g id=\"node65\" class=\"node\">\n",
       "<title>node0064</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"162\" cy=\"-1347\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"162\" y=\"-1350\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q1756942\">Q1756942</a></text>\n",
       "<text text-anchor=\"middle\" x=\"162\" y=\"-1339\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">partial function</text>\n",
       "</g>\n",
       "<!-- node0054&#45;&gt;node0064 -->\n",
       "<g id=\"edge89\" class=\"edge\">\n",
       "<title>node0054-&gt;node0064</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M163.6607,-1523.8675C163.3231,-1487.9124 162.8037,-1432.5892 162.4357,-1393.4031\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"165.9348,-1393.2765 162.3409,-1383.3098 158.9351,-1393.3423 165.9348,-1393.2765\"/>\n",
       "<text text-anchor=\"middle\" x=\"172.5\" y=\"-1494.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0065 -->\n",
       "<g id=\"node66\" class=\"node\">\n",
       "<title>node0065</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"596\" cy=\"-1560\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-1563\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q18386809\">Q18386809</a></text>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-1552\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">partial algebra</text>\n",
       "</g>\n",
       "<!-- node0055&#45;&gt;node0065 -->\n",
       "<g id=\"edge90\" class=\"edge\">\n",
       "<title>node0055-&gt;node0065</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M527.4352,-1950.0693C524.0018,-1887.297 521.3942,-1754.1375 551,-1647 555.4957,-1630.7309 563.2701,-1613.9989 571.1049,-1599.6087\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"574.3672,-1600.9489 576.2284,-1590.5188 568.2691,-1597.5117 574.3672,-1600.9489\"/>\n",
       "<text text-anchor=\"middle\" x=\"542.5\" y=\"-1740.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0066 -->\n",
       "<g id=\"node67\" class=\"node\">\n",
       "<title>node0066</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"596\" cy=\"-1683\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-1686\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q18386814\">Q18386814</a></text>\n",
       "<text text-anchor=\"middle\" x=\"596\" y=\"-1675\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">partial groupoid</text>\n",
       "</g>\n",
       "<!-- node0056&#45;&gt;node0066 -->\n",
       "<g id=\"edge91\" class=\"edge\">\n",
       "<title>node0056-&gt;node0066</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M594.3393,-1859.8675C594.6769,-1823.9124 595.1963,-1768.5892 595.5643,-1729.4031\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"599.0649,-1729.3423 595.6591,-1719.3098 592.0652,-1729.2765 599.0649,-1729.3423\"/>\n",
       "<text text-anchor=\"middle\" x=\"604.5\" y=\"-1802.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0057&#45;&gt;node0061 -->\n",
       "<g id=\"edge92\" class=\"edge\">\n",
       "<title>node0057-&gt;node0061</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M741.3487,-1950.9233C748.0766,-1925.1587 758.6117,-1889.6323 772,-1860 774.2619,-1854.9938 776.8991,-1849.8832 779.6787,-1844.8999\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"782.7842,-1846.5218 784.7854,-1836.1177 776.7329,-1843.003 782.7842,-1846.5218\"/>\n",
       "<text text-anchor=\"middle\" x=\"781.5\" y=\"-1892.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0058&#45;&gt;node0018 -->\n",
       "<g id=\"edge93\" class=\"edge\">\n",
       "<title>node0058-&gt;node0018</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M349,-2162.8794C349,-2132.1855 349,-2086.9531 349,-2047.5 349,-2047.5 349,-2047.5 349,-1437 349,-1391.6344 349,-1339.8374 349,-1303.4913\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"352.5001,-1303.2005 349,-1293.2006 345.5001,-1303.2006 352.5001,-1303.2005\"/>\n",
       "<text text-anchor=\"middle\" x=\"358.5\" y=\"-1740.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0059&#45;&gt;node0042 -->\n",
       "<g id=\"edge94\" class=\"edge\">\n",
       "<title>node0059-&gt;node0042</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M517.5724,-2253.5515C523.9144,-2227.6022 534.3068,-2192.0074 549,-2163 552.0816,-2156.9163 555.8414,-2150.7955 559.8089,-2144.9717\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"562.7581,-2146.8642 565.7158,-2136.6906 557.0593,-2142.7992 562.7581,-2146.8642\"/>\n",
       "<text text-anchor=\"middle\" x=\"558.5\" y=\"-2195.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0060&#45;&gt;node0061 -->\n",
       "<g id=\"edge95\" class=\"edge\">\n",
       "<title>node0060-&gt;node0061</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M846.6315,-2081.1724C834.5077,-2064.989 820.8349,-2043.5762 814,-2022 796.109,-1965.5225 796.859,-1896.5732 800.0643,-1852.0033\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"803.574,-1852.0181 800.8742,-1841.773 796.5958,-1851.4656 803.574,-1852.0181\"/>\n",
       "<text text-anchor=\"middle\" x=\"823.5\" y=\"-1982.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0061&#45;&gt;node0012 -->\n",
       "<g id=\"edge96\" class=\"edge\">\n",
       "<title>node0061-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M808.322,-1769.9469C814.538,-1702.485 827.9162,-1557.2913 834.7676,-1482.934\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"838.2572,-1483.2064 835.6896,-1472.9274 831.2868,-1482.5641 838.2572,-1483.2064\"/>\n",
       "<text text-anchor=\"middle\" x=\"831.5\" y=\"-1617.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0061&#45;&gt;node0066 -->\n",
       "<g id=\"edge97\" class=\"edge\">\n",
       "<title>node0061-&gt;node0066</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M773.7106,-1787.5857C736.9743,-1765.9658 675.9802,-1730.0697 635.8815,-1706.4709\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"637.555,-1703.3947 627.1615,-1701.3391 634.0046,-1709.4275 637.555,-1703.3947\"/>\n",
       "<text text-anchor=\"middle\" x=\"722.5\" y=\"-1740.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0067 -->\n",
       "<g id=\"node68\" class=\"node\">\n",
       "<title>node0067</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"153\" cy=\"-1011\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"153\" y=\"-1014\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q203066\">Q203066</a></text>\n",
       "<text text-anchor=\"middle\" x=\"153\" y=\"-1003\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">relation</text>\n",
       "</g>\n",
       "<!-- node0062&#45;&gt;node0067 -->\n",
       "<g id=\"edge98\" class=\"edge\">\n",
       "<title>node0062-&gt;node0067</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M165.7453,-1098.0927C163.8599,-1085.2095 161.7077,-1070.5026 159.7154,-1056.8887\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"163.1413,-1056.1271 158.2301,-1046.7393 156.2151,-1057.1408 163.1413,-1056.1271\"/>\n",
       "<text text-anchor=\"middle\" x=\"172.5\" y=\"-1068.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0068 -->\n",
       "<g id=\"node69\" class=\"node\">\n",
       "<title>node0068</title>\n",
       "<ellipse fill=\"none\" stroke=\"#000000\" cx=\"100\" cy=\"-1257\" rx=\"36\" ry=\"36\"/>\n",
       "<text text-anchor=\"middle\" x=\"100\" y=\"-1260\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\"><a href=\"http://www.wikidata.org/entity/Q54940067\">Q54940067</a></text>\n",
       "<text text-anchor=\"middle\" x=\"100\" y=\"-1249\" font-family=\"Times,serif\" font-size=\"10.00\" fill=\"#000000\">serial relation</text>\n",
       "</g>\n",
       "<!-- node0063&#45;&gt;node0068 -->\n",
       "<g id=\"edge99\" class=\"edge\">\n",
       "<title>node0063-&gt;node0068</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M98.4806,-1400.987C98.2805,-1394.9815 98.1077,-1388.8155 98,-1383 97.4077,-1351.0055 97.4077,-1342.9945 98,-1311 98.0471,-1308.4557 98.1067,-1305.8444 98.1755,-1303.2087\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"101.6799,-1303.1132 98.4806,-1293.013 94.683,-1302.9038 101.6799,-1303.1132\"/>\n",
       "<text text-anchor=\"middle\" x=\"107.5\" y=\"-1343.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0064&#45;&gt;node0062 -->\n",
       "<g id=\"edge100\" class=\"edge\">\n",
       "<title>node0064-&gt;node0062</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M163.5267,-1310.8675C165.046,-1274.9124 167.3836,-1219.5892 169.0393,-1180.4031\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"172.5404,-1180.4487 169.4658,-1170.3098 165.5467,-1180.1531 172.5404,-1180.4487\"/>\n",
       "<text text-anchor=\"middle\" x=\"176.5\" y=\"-1253.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0065&#45;&gt;node0012 -->\n",
       "<g id=\"edge101\" class=\"edge\">\n",
       "<title>node0065-&gt;node0012</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M605.2784,-1525.1955C610.1783,-1512.8128 617.4396,-1499.779 628,-1491 652.9264,-1470.2781 739.1059,-1453.0914 793.3123,-1443.9991\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"794.0711,-1447.4214 803.3696,-1442.3432 792.9338,-1440.5144 794.0711,-1447.4214\"/>\n",
       "<text text-anchor=\"middle\" x=\"637.5\" y=\"-1494.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0066&#45;&gt;node0065 -->\n",
       "<g id=\"edge102\" class=\"edge\">\n",
       "<title>node0066-&gt;node0065</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M596,-1646.7612C596,-1634.2361 596,-1620.0191 596,-1606.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"599.5001,-1606.4048 596,-1596.4048 592.5001,-1606.4048 599.5001,-1606.4048\"/>\n",
       "<text text-anchor=\"middle\" x=\"605.5\" y=\"-1617.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0067&#45;&gt;node0003 -->\n",
       "<g id=\"edge103\" class=\"edge\">\n",
       "<title>node0067-&gt;node0003</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M151.8215,-974.7612C151.4142,-962.2361 150.9518,-948.0191 150.521,-934.771\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"154.0072,-934.2857 150.1839,-924.4048 147.0109,-934.5133 154.0072,-934.2857\"/>\n",
       "<text text-anchor=\"middle\" x=\"160.5\" y=\"-945.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "<!-- node0068&#45;&gt;node0062 -->\n",
       "<g id=\"edge104\" class=\"edge\">\n",
       "<title>node0068-&gt;node0062</title>\n",
       "<path fill=\"none\" stroke=\"#000000\" d=\"M117.7264,-1225.3204C124.3493,-1213.5686 131.9688,-1200.1473 139,-1188 141.6281,-1183.4596 144.3993,-1178.7173 147.167,-1174.0096\"/>\n",
       "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"150.3795,-1175.4524 152.4463,-1165.0611 144.3505,-1171.8954 150.3795,-1175.4524\"/>\n",
       "<text text-anchor=\"middle\" x=\"148.5\" y=\"-1191.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">is a</text>\n",
       "</g>\n",
       "</g>\n",
       "</svg>"
      ],
      "text/plain": [
       "<IPython.core.display.SVG object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 12;\n",
       "                var nbb_unformatted_code = \"entity_links = dict(\\n    [\\n        (\\n            node.id,\\n            '<a href=\\\"http://www.wikidata.org/entity/{0}\\\">{0}</a>'.format(node.id),\\n        )\\n        for node in G.nodes.keys()\\n    ]\\n)\\n\\n# insert links to wiki data urls\\nsvg_data = svg_data.decode(\\\"utf8\\\").format(**entity_links).encode(\\\"utf8\\\")\\n\\nsvg_fname = \\\"vectorspace_superclasses_l13.svg\\\"\\n\\nwith open(svg_fname, \\\"wb\\\") as svgfile:\\n    svgfile.write(svg_data)\\n\\ndisplay(SVG(svg_data))\";\n",
       "                var nbb_formatted_code = \"entity_links = dict(\\n    [\\n        (\\n            node.id,\\n            '<a href=\\\"http://www.wikidata.org/entity/{0}\\\">{0}</a>'.format(node.id),\\n        )\\n        for node in G.nodes.keys()\\n    ]\\n)\\n\\n# insert links to wiki data urls\\nsvg_data = svg_data.decode(\\\"utf8\\\").format(**entity_links).encode(\\\"utf8\\\")\\n\\nsvg_fname = \\\"vectorspace_superclasses_l13.svg\\\"\\n\\nwith open(svg_fname, \\\"wb\\\") as svgfile:\\n    svgfile.write(svg_data)\\n\\ndisplay(SVG(svg_data))\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "entity_links = dict(\n",
    "    [\n",
    "        (\n",
    "            node.id,\n",
    "            '<a href=\"http://www.wikidata.org/entity/{0}\">{0}</a>'.format(node.id),\n",
    "        )\n",
    "        for node in G.nodes.keys()\n",
    "    ]\n",
    ")\n",
    "\n",
    "# insert links to wiki data urls\n",
    "svg_data = svg_data.decode(\"utf8\").format(**entity_links).encode(\"utf8\")\n",
    "\n",
    "svg_fname = \"vectorspace_superclasses_l13.svg\"\n",
    "\n",
    "with open(svg_fname, \"wb\") as svgfile:\n",
    "    svgfile.write(svg_data)\n",
    "\n",
    "display(SVG(svg_data))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<a href='vectorspace_superclasses_l13.svg'>vectorspace_superclasses_l13.svg</a>"
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 13;\n",
       "                var nbb_unformatted_code = \"display(HTML(f\\\"<a href='{svg_fname}'>{svg_fname}</a>\\\"))\";\n",
       "                var nbb_formatted_code = \"display(HTML(f\\\"<a href='{svg_fname}'>{svg_fname}</a>\\\"))\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "display(HTML(f\"<a href='{svg_fname}'>{svg_fname}</a>\"))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Save the wikidata query results to prevent unnecessary requests"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "/tmp/tmpq4gm6bdi_semantictools_wdq_cache.pcl\n"
     ]
    },
    {
     "data": {
      "application/javascript": [
       "\n",
       "            setTimeout(function() {\n",
       "                var nbb_cell_id = 14;\n",
       "                var nbb_unformatted_code = \"smt.cache.save_wdq_cache()\\n\\nprint(smt.cache.wdq_cache_path)\";\n",
       "                var nbb_formatted_code = \"smt.cache.save_wdq_cache()\\n\\nprint(smt.cache.wdq_cache_path)\";\n",
       "                var nbb_cells = Jupyter.notebook.get_cells();\n",
       "                for (var i = 0; i < nbb_cells.length; ++i) {\n",
       "                    if (nbb_cells[i].input_prompt_number == nbb_cell_id) {\n",
       "                        if (nbb_cells[i].get_text() == nbb_unformatted_code) {\n",
       "                             nbb_cells[i].set_text(nbb_formatted_code);\n",
       "                        }\n",
       "                        break;\n",
       "                    }\n",
       "                }\n",
       "            }, 500);\n",
       "            "
      ],
      "text/plain": [
       "<IPython.core.display.Javascript object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "smt.cache.save_wdq_cache()\n",
    "\n",
    "print(smt.cache.wdq_cache_path)"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.8.6"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 4
}