nominal/nominal-zoomed.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 8.0.4 (20230421.1958)
 -->
<!-- Title: nominal&#45;zoomed Pages: 1 -->
<svg width="1660pt" height="1113pt"
 viewBox="0.00 0.00 1660.00 1113.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1109)">
<title>nominal&#45;zoomed</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-1109 1656,-1109 1656,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_NASALib</title>
<polygon fill="none" stroke="black" points="1560,-8 1560,-84.5 1644,-84.5 1644,-8 1560,-8"/>
<text text-anchor="middle" x="1602" y="-67.2" font-family="Times,serif" font-size="14.00">NASALib</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_NASALib/nominal</title>
<polygon fill="none" stroke="black" points="8,-8 8,-1097 1552,-1097 1552,-8 8,-8"/>
<text text-anchor="middle" x="780" y="-1079.7" font-family="Times,serif" font-size="14.00">NASALib/nominal</text>
</g>
<!-- NASALib/nominal@C_alpha_equivalence -->
<g id="node1" class="node">
<title>NASALib/nominal@C_alpha_equivalence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1130" cy="-398.5" rx="90.25" ry="18"/>
<text text-anchor="middle" x="1130" y="-393.45" font-family="Times,serif" font-size="14.00">C_alpha_equivalence</text>
</g>
<!-- NASALib/nominal@C_freshness -->
<g id="node2" class="node">
<title>NASALib/nominal@C_freshness</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1130" cy="-326.5" rx="55.96" ry="18"/>
<text text-anchor="middle" x="1130" y="-321.45" font-family="Times,serif" font-size="14.00">C_freshness</text>
</g>
<!-- NASALib/nominal@C_alpha_equivalence&#45;&gt;NASALib/nominal@C_freshness -->
<g id="edge1" class="edge">
<title>NASALib/nominal@C_alpha_equivalence&#45;&gt;NASALib/nominal@C_freshness</title>
<path fill="none" stroke="black" d="M1130,-380.2C1130,-372.74 1130,-363.82 1130,-355.47"/>
<polygon fill="black" stroke="black" points="1133.5,-355.6 1130,-345.6 1126.5,-355.6 1133.5,-355.6"/>
</g>
<!-- NASALib/nominal@C_nominal_term -->
<g id="node3" class="node">
<title>NASALib/nominal@C_nominal_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1124" cy="-254.5" rx="74.38" ry="18"/>
<text text-anchor="middle" x="1124" y="-249.45" font-family="Times,serif" font-size="14.00">C_nominal_term</text>
</g>
<!-- NASALib/nominal@C_freshness&#45;&gt;NASALib/nominal@C_nominal_term -->
<g id="edge2" class="edge">
<title>NASALib/nominal@C_freshness&#45;&gt;NASALib/nominal@C_nominal_term</title>
<path fill="none" stroke="black" d="M1128.52,-308.2C1127.88,-300.74 1127.11,-291.82 1126.4,-283.47"/>
<polygon fill="black" stroke="black" points="1129.81,-283.27 1125.47,-273.6 1122.83,-283.87 1129.81,-283.27"/>
</g>
<!-- NASALib/structures -->
<g id="node45" class="node">
<title>NASALib/structures</title>
<polygon fill="#fcfcd7" stroke="black" points="1636.25,-52 1567.75,-52 1567.75,-16 1636.25,-16 1636.25,-52"/>
<text text-anchor="middle" x="1602" y="-28.95" font-family="Times,serif" font-size="14.00">structures</text>
</g>
<!-- NASALib/nominal@C_freshness&#45;&gt;NASALib/structures -->
<g id="edge3" class="edge">
<title>NASALib/nominal@C_freshness&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1466,-253.5C1466,-253.5 1549.35,-119.6 1585.54,-61.44"/>
<polygon fill="black" stroke="black" points="1589.02,-63.48 1591.33,-53.15 1583.07,-59.79 1589.02,-63.48"/>
<path fill="none" stroke="black" d="M1176.59,-316.15C1252.38,-300.93 1394,-272.5 1394,-272.5 1394,-272.5 1466,-255.5 1466,-255.5"/>
</g>
<!-- NASALib/nominal@C_term -->
<g id="node6" class="node">
<title>NASALib/nominal@C_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1124" cy="-182.5" rx="39.07" ry="18"/>
<text text-anchor="middle" x="1124" y="-177.45" font-family="Times,serif" font-size="14.00">C_term</text>
</g>
<!-- NASALib/nominal@C_nominal_term&#45;&gt;NASALib/nominal@C_term -->
<g id="edge4" class="edge">
<title>NASALib/nominal@C_nominal_term&#45;&gt;NASALib/nominal@C_term</title>
<path fill="none" stroke="black" d="M1124,-236.2C1124,-228.74 1124,-219.82 1124,-211.47"/>
<polygon fill="black" stroke="black" points="1127.5,-211.6 1124,-201.6 1120.5,-211.6 1127.5,-211.6"/>
</g>
<!-- NASALib/nominal@atoms -->
<g id="node7" class="node">
<title>NASALib/nominal@atoms</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1027" cy="-182.5" rx="33.44" ry="18"/>
<text text-anchor="middle" x="1027" y="-177.45" font-family="Times,serif" font-size="14.00">atoms</text>
</g>
<!-- NASALib/nominal@C_nominal_term&#45;&gt;NASALib/nominal@atoms -->
<g id="edge5" class="edge">
<title>NASALib/nominal@C_nominal_term&#45;&gt;NASALib/nominal@atoms</title>
<path fill="none" stroke="black" d="M1101.01,-236.91C1087.28,-227 1069.73,-214.34 1055.17,-203.83"/>
<polygon fill="black" stroke="black" points="1057.71,-200.62 1047.55,-197.61 1053.61,-206.3 1057.71,-200.62"/>
</g>
<!-- NASALib/nominal@C_nominalunif -->
<g id="node4" class="node">
<title>NASALib/nominal@C_nominalunif</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1130" cy="-542.5" rx="67.22" ry="18"/>
<text text-anchor="middle" x="1130" y="-537.45" font-family="Times,serif" font-size="14.00">C_nominalunif</text>
</g>
<!-- NASALib/nominal@C_substitution -->
<g id="node5" class="node">
<title>NASALib/nominal@C_substitution</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1130" cy="-470.5" rx="64.66" ry="18"/>
<text text-anchor="middle" x="1130" y="-465.45" font-family="Times,serif" font-size="14.00">C_substitution</text>
</g>
<!-- NASALib/nominal@C_nominalunif&#45;&gt;NASALib/nominal@C_substitution -->
<g id="edge6" class="edge">
<title>NASALib/nominal@C_nominalunif&#45;&gt;NASALib/nominal@C_substitution</title>
<path fill="none" stroke="black" d="M1130,-524.2C1130,-516.74 1130,-507.82 1130,-499.47"/>
<polygon fill="black" stroke="black" points="1133.5,-499.6 1130,-489.6 1126.5,-499.6 1133.5,-499.6"/>
</g>
<!-- NASALib/nominal@C_nominalunif&#45;&gt;NASALib/nominal@atoms -->
<g id="edge7" class="edge">
<title>NASALib/nominal@C_nominalunif&#45;&gt;NASALib/nominal@atoms</title>
<path fill="none" stroke="black" d="M1107.4,-525.31C1085.63,-509.72 1056,-488.5 1056,-488.5 1056,-488.5 1021,-399.5 1021,-399.5 1021,-399.5 1021,-399.5 1021,-325.5 1021,-325.5 1024.06,-253.09 1025.81,-211.68"/>
<polygon fill="black" stroke="black" points="1029.34,-212.05 1026.26,-201.91 1022.35,-211.76 1029.34,-212.05"/>
</g>
<!-- NASALib/nominal@C_nominalunif&#45;&gt;NASALib/structures -->
<g id="edge8" class="edge">
<title>NASALib/nominal@C_nominalunif&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1474,-469.5C1474,-469.5 1481,-416.5 1481,-416.5 1481,-416.5 1481,-380.5 1481,-380.5 1481,-380.5 1466,-255.5 1466,-255.5"/>
<path fill="none" stroke="black" d="M1186.24,-532.33C1279.26,-517.16 1455,-488.5 1455,-488.5 1455,-488.5 1474,-471.5 1474,-471.5"/>
</g>
<!-- NASALib/nominal@C_substitution&#45;&gt;NASALib/nominal@C_alpha_equivalence -->
<g id="edge9" class="edge">
<title>NASALib/nominal@C_substitution&#45;&gt;NASALib/nominal@C_alpha_equivalence</title>
<path fill="none" stroke="black" d="M1130,-452.2C1130,-444.74 1130,-435.82 1130,-427.47"/>
<polygon fill="black" stroke="black" points="1133.5,-427.6 1130,-417.6 1126.5,-427.6 1133.5,-427.6"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning -->
<g id="node19" class="node">
<title>NASALib/nominal@list_aux_equational_reasoning</title>
<ellipse fill="#e6f3ff" stroke="black" cx="759" cy="-110.5" rx="123.52" ry="18"/>
<text text-anchor="middle" x="759" y="-105.45" font-family="Times,serif" font-size="14.00">list_aux_equational_reasoning</text>
</g>
<!-- NASALib/nominal@atoms&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge10" class="edge">
<title>NASALib/nominal@atoms&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M999.66,-171.61C989.32,-167.87 980,-164.5 980,-164.5 980,-164.5 896.37,-144.44 832,-129.01"/>
<polygon fill="black" stroke="black" points="832.98,-125.4 822.44,-126.48 831.35,-132.21 832.98,-125.4"/>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification -->
<g id="node8" class="node">
<title>NASALib/nominal@aux_first_order_AC_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="674" cy="-542.5" rx="129.66" ry="18"/>
<text text-anchor="middle" x="674" y="-537.45" font-family="Times,serif" font-size="14.00">aux_first_order_AC_unification</text>
</g>
<!-- NASALib/nominal@diophantine -->
<g id="node10" class="node">
<title>NASALib/nominal@diophantine</title>
<ellipse fill="#e6f3ff" stroke="black" cx="414" cy="-398.5" rx="54.42" ry="18"/>
<text text-anchor="middle" x="414" y="-393.45" font-family="Times,serif" font-size="14.00">diophantine</text>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@diophantine -->
<g id="edge11" class="edge">
<title>NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@diophantine</title>
<path fill="none" stroke="black" d="M638.31,-524.73C594.23,-504.02 525,-471.5 525,-471.5"/>
<path fill="none" stroke="black" d="M525,-469.5C525,-469.5 480.3,-441.31 447.63,-420.71"/>
<polygon fill="black" stroke="black" points="449.68,-417.24 439.36,-414.86 445.95,-423.16 449.68,-417.24"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification -->
<g id="node17" class="node">
<title>NASALib/nominal@first_order_AC_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="804" cy="-470.5" rx="111.74" ry="18"/>
<text text-anchor="middle" x="804" y="-465.45" font-family="Times,serif" font-size="14.00">first_order_AC_unification</text>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_unification -->
<g id="edge12" class="edge">
<title>NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_unification</title>
<path fill="none" stroke="black" d="M705.47,-524.55C723,-515.11 745.02,-503.26 763.79,-493.15"/>
<polygon fill="black" stroke="black" points="765.12,-495.87 772.27,-488.05 761.8,-489.71 765.12,-495.87"/>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge13" class="edge">
<title>NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M975,-397.5C975,-397.5 975,-327.5 975,-327.5"/>
<path fill="none" stroke="black" d="M743.25,-526.88C817.55,-511.19 925,-488.5 925,-488.5 925,-488.5 935,-471.5 935,-471.5"/>
<path fill="none" stroke="black" d="M935,-469.5C935,-469.5 975,-399.5 975,-399.5"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="node20" class="node">
<title>NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<ellipse fill="#e6f3ff" stroke="black" cx="571" cy="-182.5" rx="169.07" ry="18"/>
<text text-anchor="middle" x="571" y="-177.45" font-family="Times,serif" font-size="14.00">list_aux_equational_reasoning2parameters</text>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge14" class="edge">
<title>NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M673.75,-524.2C673.46,-503.47 673,-471.5 673,-471.5"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="node21" class="node">
<title>NASALib/nominal@list_aux_equational_reasoning_more</title>
<ellipse fill="#e6f3ff" stroke="black" cx="508" cy="-254.5" rx="147.57" ry="18"/>
<text text-anchor="middle" x="508" y="-249.45" font-family="Times,serif" font-size="14.00">list_aux_equational_reasoning_more</text>
</g>
<!-- NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge15" class="edge">
<title>NASALib/nominal@aux_first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M525,-469.5C525,-469.5 525,-399.5 525,-399.5"/>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification -->
<g id="node9" class="node">
<title>NASALib/nominal@aux_nominal_AC_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="319" cy="-686.5" rx="121.47" ry="18"/>
<text text-anchor="middle" x="319" y="-681.45" font-family="Times,serif" font-size="14.00">aux_nominal_AC_unification</text>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@diophantine -->
<g id="edge16" class="edge">
<title>NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@diophantine</title>
<path fill="none" stroke="black" d="M425,-613.5C425,-613.5 485,-471.5 485,-471.5"/>
<path fill="none" stroke="black" d="M485,-469.5C485,-469.5 459.14,-444.01 438.64,-423.79"/>
<polygon fill="black" stroke="black" points="441.4,-421.62 431.83,-417.09 436.49,-426.6 441.4,-421.62"/>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge17" class="edge">
<title>NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M425,-613.5C425,-613.5 312,-416.5 312,-416.5 312,-416.5 301,-327.5 301,-327.5"/>
<path fill="none" stroke="black" d="M349.38,-668.73C377.5,-653.2 415,-632.5 415,-632.5 415,-632.5 425,-615.5 425,-615.5"/>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge18" class="edge">
<title>NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M487,-397.5C487,-397.5 477,-380.5 477,-380.5 477,-380.5 351,-272.5 351,-272.5 351,-272.5 341,-255.5 341,-255.5"/>
<path fill="none" stroke="black" d="M485,-469.5C485,-469.5 487,-399.5 487,-399.5"/>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge19" class="edge">
<title>NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M487,-397.5C487,-397.5 487,-327.5 487,-327.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_unification -->
<g id="node32" class="node">
<title>NASALib/nominal@nominal_AC_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="302" cy="-614.5" rx="103.56" ry="18"/>
<text text-anchor="middle" x="302" y="-609.45" font-family="Times,serif" font-size="14.00">nominal_AC_unification</text>
</g>
<!-- NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@nominal_AC_unification -->
<g id="edge20" class="edge">
<title>NASALib/nominal@aux_nominal_AC_unification&#45;&gt;NASALib/nominal@nominal_AC_unification</title>
<path fill="none" stroke="black" d="M314.8,-668.2C312.97,-660.65 310.77,-651.62 308.72,-643.18"/>
<polygon fill="black" stroke="black" points="311.92,-642.5 306.15,-633.6 305.11,-644.15 311.92,-642.5"/>
</g>
<!-- NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge21" class="edge">
<title>NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M397.07,-381.26C375.5,-360.59 341,-327.5 341,-327.5"/>
<path fill="none" stroke="black" d="M341,-325.5C341,-325.5 321,-255.5 321,-255.5"/>
</g>
<!-- NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge22" class="edge">
<title>NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M341,-325.5C341,-325.5 341,-255.5 341,-255.5"/>
</g>
<!-- NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge23" class="edge">
<title>NASALib/nominal@diophantine&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M430.93,-381.26C452.5,-360.59 487,-327.5 487,-327.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_apply_ac_step -->
<g id="node11" class="node">
<title>NASALib/nominal@first_order_AC_apply_ac_step</title>
<ellipse fill="#e6f3ff" stroke="black" cx="742" cy="-614.5" rx="124.54" ry="18"/>
<text text-anchor="middle" x="742" y="-609.45" font-family="Times,serif" font-size="14.00">first_order_AC_apply_ac_step</text>
</g>
<!-- NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@aux_first_order_AC_unification -->
<g id="edge24" class="edge">
<title>NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@aux_first_order_AC_unification</title>
<path fill="none" stroke="black" d="M725.19,-596.2C717.04,-587.8 707.1,-577.57 698.15,-568.36"/>
<polygon fill="black" stroke="black" points="701.09,-566.34 691.62,-561.6 696.07,-571.22 701.09,-566.34"/>
</g>
<!-- NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge25" class="edge">
<title>NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M935,-541.5C935,-541.5 935,-471.5 935,-471.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge26" class="edge">
<title>NASALib/nominal@first_order_AC_apply_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M935,-541.5C935,-541.5 683,-488.5 683,-488.5 683,-488.5 673,-471.5 673,-471.5"/>
<path fill="none" stroke="black" d="M786.76,-597.26C843.78,-576.59 935,-543.5 935,-543.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_equality -->
<g id="node12" class="node">
<title>NASALib/nominal@first_order_AC_equality</title>
<ellipse fill="#e6f3ff" stroke="black" cx="854" cy="-326.5" rx="101.51" ry="18"/>
<text text-anchor="middle" x="854" y="-321.45" font-family="Times,serif" font-size="14.00">first_order_AC_equality</text>
</g>
<!-- NASALib/nominal@first_order_AC_term_properties -->
<g id="node16" class="node">
<title>NASALib/nominal@first_order_AC_term_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="825" cy="-254.5" rx="130.68" ry="18"/>
<text text-anchor="middle" x="825" y="-249.45" font-family="Times,serif" font-size="14.00">first_order_AC_term_properties</text>
</g>
<!-- NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@first_order_AC_term_properties -->
<g id="edge27" class="edge">
<title>NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@first_order_AC_term_properties</title>
<path fill="none" stroke="black" d="M846.83,-308.2C843.64,-300.48 839.8,-291.21 836.23,-282.61"/>
<polygon fill="black" stroke="black" points="839.15,-281.5 832.09,-273.6 832.68,-284.18 839.15,-281.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge28" class="edge">
<title>NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M975,-253.5C975,-253.5 965,-164.5 965,-164.5 965,-164.5 888.38,-144.79 828.6,-129.41"/>
<polygon fill="black" stroke="black" points="829.59,-125.79 819.03,-126.69 827.84,-132.57 829.59,-125.79"/>
<path fill="none" stroke="black" d="M888.21,-309.17C920.82,-293.59 965,-272.5 965,-272.5 965,-272.5 975,-255.5 975,-255.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge29" class="edge">
<title>NASALib/nominal@first_order_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M788.92,-312.33C733.43,-301.11 653.27,-284.89 592.77,-272.65"/>
<polygon fill="black" stroke="black" points="593.59,-269.04 583.09,-270.49 592.2,-275.9 593.59,-269.04"/>
</g>
<!-- NASALib/nominal@first_order_AC_rename_input -->
<g id="node13" class="node">
<title>NASALib/nominal@first_order_AC_rename_input</title>
<ellipse fill="#e6f3ff" stroke="black" cx="662" cy="-686.5" rx="123" ry="18"/>
<text text-anchor="middle" x="662" y="-681.45" font-family="Times,serif" font-size="14.00">first_order_AC_rename_input</text>
</g>
<!-- NASALib/nominal@first_order_AC_rename_input&#45;&gt;NASALib/nominal@first_order_AC_apply_ac_step -->
<g id="edge30" class="edge">
<title>NASALib/nominal@first_order_AC_rename_input&#45;&gt;NASALib/nominal@first_order_AC_apply_ac_step</title>
<path fill="none" stroke="black" d="M681.37,-668.55C691.32,-659.85 703.61,-649.09 714.52,-639.54"/>
<polygon fill="black" stroke="black" points="716.31,-641.75 721.54,-632.53 711.7,-636.48 716.31,-641.75"/>
</g>
<!-- NASALib/nominal@first_order_AC_rename_input&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge31" class="edge">
<title>NASALib/nominal@first_order_AC_rename_input&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M643.06,-668.37C601.3,-630.6 505,-543.5 505,-543.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_substitution -->
<g id="node14" class="node">
<title>NASALib/nominal@first_order_AC_substitution</title>
<ellipse fill="#e6f3ff" stroke="black" cx="801" cy="-398.5" rx="114.82" ry="18"/>
<text text-anchor="middle" x="801" y="-393.45" font-family="Times,serif" font-size="14.00">first_order_AC_substitution</text>
</g>
<!-- NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@first_order_AC_equality -->
<g id="edge32" class="edge">
<title>NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@first_order_AC_equality</title>
<path fill="none" stroke="black" d="M814.1,-380.2C820.26,-372.06 827.74,-362.19 834.54,-353.2"/>
<polygon fill="black" stroke="black" points="837.8,-355.69 841.05,-345.6 832.22,-351.46 837.8,-355.69"/>
</g>
<!-- NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge33" class="edge">
<title>NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M782.33,-380.44C765.37,-364.95 743,-344.5 743,-344.5 743,-344.5 733,-327.5 733,-327.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge34" class="edge">
<title>NASALib/nominal@first_order_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M766.82,-380.93C713.73,-355.21 611.47,-305.65 552.63,-277.13"/>
<polygon fill="black" stroke="black" points="554.4,-273.61 543.87,-272.4 551.35,-279.91 554.4,-273.61"/>
</g>
<!-- NASALib/nominal@first_order_AC_term -->
<g id="node15" class="node">
<title>NASALib/nominal@first_order_AC_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="867" cy="-182.5" rx="89.23" ry="18"/>
<text text-anchor="middle" x="867" y="-177.45" font-family="Times,serif" font-size="14.00">first_order_AC_term</text>
</g>
<!-- NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@first_order_AC_term -->
<g id="edge35" class="edge">
<title>NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@first_order_AC_term</title>
<path fill="none" stroke="black" d="M835.38,-236.2C840.16,-228.23 845.94,-218.6 851.24,-209.76"/>
<polygon fill="black" stroke="black" points="854.59,-211.98 856.74,-201.6 848.59,-208.38 854.59,-211.98"/>
</g>
<!-- NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge36" class="edge">
<title>NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M806.97,-236.44C790.6,-220.95 769,-200.5 769,-200.5 769,-200.5 765.08,-165.61 762.15,-139.52"/>
<polygon fill="black" stroke="black" points="765.52,-139.21 760.93,-129.66 758.57,-139.99 765.52,-139.21"/>
</g>
<!-- NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge37" class="edge">
<title>NASALib/nominal@first_order_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M768.31,-237.88C730.6,-227.48 680.8,-213.76 640.67,-202.7"/>
<polygon fill="black" stroke="black" points="641.73,-199.09 631.16,-199.8 639.87,-205.84 641.73,-199.09"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_substitution -->
<g id="edge38" class="edge">
<title>NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_substitution</title>
<path fill="none" stroke="black" d="M803.26,-452.2C802.94,-444.74 802.56,-435.82 802.2,-427.47"/>
<polygon fill="black" stroke="black" points="805.66,-427.45 801.73,-417.6 798.66,-427.75 805.66,-427.45"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge39" class="edge">
<title>NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M841.29,-453.17C876.84,-437.59 925,-416.5 925,-416.5 925,-416.5 975,-327.5 975,-327.5"/>
<path fill="none" stroke="black" d="M975,-325.5C975,-325.5 975,-255.5 975,-255.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge40" class="edge">
<title>NASALib/nominal@first_order_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M764.86,-453.17C727.54,-437.59 677,-416.5 677,-416.5 677,-416.5 677,-380.5 677,-380.5 677,-380.5 733,-327.5 733,-327.5"/>
<path fill="none" stroke="black" d="M733,-325.5C733,-325.5 685,-272.5 685,-272.5 685,-272.5 675,-255.5 675,-255.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification_alg -->
<g id="node18" class="node">
<title>NASALib/nominal@first_order_AC_unification_alg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="790" cy="-758.5" rx="127.61" ry="18"/>
<text text-anchor="middle" x="790" y="-753.45" font-family="Times,serif" font-size="14.00">first_order_AC_unification_alg</text>
</g>
<!-- NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@first_order_AC_rename_input -->
<g id="edge41" class="edge">
<title>NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@first_order_AC_rename_input</title>
<path fill="none" stroke="black" d="M759.01,-740.55C741.96,-731.23 720.59,-719.54 702.25,-709.51"/>
<polygon fill="black" stroke="black" points="704.15,-706.02 693.7,-704.29 700.79,-712.16 704.15,-706.02"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge42" class="edge">
<title>NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M975,-469.5C975,-469.5 975,-399.5 975,-399.5"/>
</g>
<!-- NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge43" class="edge">
<title>NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M975,-469.5C975,-469.5 955,-399.5 955,-399.5"/>
<path fill="none" stroke="black" d="M839.04,-741.45C886.73,-725.86 952,-704.5 952,-704.5 952,-704.5 975,-471.5 975,-471.5"/>
</g>
<!-- NASALib/nominal@termination_alg -->
<g id="node40" class="node">
<title>NASALib/nominal@termination_alg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="873" cy="-686.5" rx="69.78" ry="18"/>
<text text-anchor="middle" x="873" y="-681.45" font-family="Times,serif" font-size="14.00">termination_alg</text>
</g>
<!-- NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@termination_alg -->
<g id="edge44" class="edge">
<title>NASALib/nominal@first_order_AC_unification_alg&#45;&gt;NASALib/nominal@termination_alg</title>
<path fill="none" stroke="black" d="M810.09,-740.55C820.57,-731.72 833.55,-720.77 844.99,-711.12"/>
<polygon fill="black" stroke="black" points="846.99,-713.17 852.38,-704.05 842.48,-707.82 846.99,-713.17"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning_nat -->
<g id="node22" class="node">
<title>NASALib/nominal@list_aux_equational_reasoning_nat</title>
<ellipse fill="#e6f3ff" stroke="black" cx="759" cy="-34" rx="139.38" ry="18"/>
<text text-anchor="middle" x="759" y="-28.95" font-family="Times,serif" font-size="14.00">list_aux_equational_reasoning_nat</text>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_nat -->
<g id="edge46" class="edge">
<title>NASALib/nominal@list_aux_equational_reasoning&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_nat</title>
<path fill="none" stroke="black" d="M759,-92.22C759,-83.63 759,-73.03 759,-63.3"/>
<polygon fill="black" stroke="black" points="762.5,-63.44 759,-53.44 755.5,-63.44 762.5,-63.44"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning&#45;&gt;NASALib/structures -->
<g id="edge47" class="edge">
<title>NASALib/nominal@list_aux_equational_reasoning&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M878.75,-105.74C1101.24,-98.76 1556,-84.5 1556,-84.5 1556,-84.5 1567.2,-72.45 1578.55,-60.23"/>
<polygon fill="black" stroke="black" points="1580.67,-63.02 1584.91,-53.31 1575.54,-58.26 1580.67,-63.02"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning2parameters&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge45" class="edge">
<title>NASALib/nominal@list_aux_equational_reasoning2parameters&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M616.03,-164.73C642.83,-154.75 677,-142.03 705.21,-131.53"/>
<polygon fill="black" stroke="black" points="706.16,-134.54 714.31,-127.77 703.72,-127.98 706.16,-134.54"/>
</g>
<!-- NASALib/nominal@list_aux_equational_reasoning_more&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge48" class="edge">
<title>NASALib/nominal@list_aux_equational_reasoning_more&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M463.68,-236.91C408.39,-216.21 321,-183.5 321,-183.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_ac_match_alg -->
<g id="node23" class="node">
<title>NASALib/nominal@nominal_AC_ac_match_alg</title>
<ellipse fill="#e6f3ff" stroke="black" cx="545" cy="-974.5" rx="115.33" ry="18"/>
<text text-anchor="middle" x="545" y="-969.45" font-family="Times,serif" font-size="14.00">nominal_AC_ac_match_alg</text>
</g>
<!-- NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge49" class="edge">
<title>NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M626,-901.5C626,-901.5 904,-848.5 904,-848.5 904,-848.5 995,-615.5 995,-615.5 995,-615.5 995,-615.5 995,-541.5 995,-541.5 975,-399.5 975,-399.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge50" class="edge">
<title>NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M673,-469.5C673,-469.5 673,-380.5 673,-380.5 673,-380.5 675,-255.5 675,-255.5"/>
<path fill="none" stroke="black" d="M626,-901.5C626,-901.5 530,-704.5 530,-704.5 530,-704.5 530,-668.5 530,-668.5 530,-668.5 535,-524.5 535,-524.5 535,-524.5 673,-471.5 673,-471.5"/>
<path fill="none" stroke="black" d="M564.61,-956.55C588.58,-935.84 626,-903.5 626,-903.5"/>
<path fill="none" stroke="black" d="M675,-253.5C675,-253.5 665,-236.5 665,-236.5 665,-236.5 636.24,-220.28 610.53,-205.79"/>
<polygon fill="black" stroke="black" points="612.69,-202.42 602.26,-200.56 609.25,-208.52 612.69,-202.42"/>
</g>
<!-- NASALib/nominal@nominal_AC_variant_inputs -->
<g id="node33" class="node">
<title>NASALib/nominal@nominal_AC_variant_inputs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="465" cy="-902.5" rx="116.35" ry="18"/>
<text text-anchor="middle" x="465" y="-897.45" font-family="Times,serif" font-size="14.00">nominal_AC_variant_inputs</text>
</g>
<!-- NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@nominal_AC_variant_inputs -->
<g id="edge51" class="edge">
<title>NASALib/nominal@nominal_AC_ac_match_alg&#45;&gt;NASALib/nominal@nominal_AC_variant_inputs</title>
<path fill="none" stroke="black" d="M525.63,-956.55C515.68,-947.85 503.39,-937.09 492.48,-927.54"/>
<polygon fill="black" stroke="black" points="495.3,-924.48 485.46,-920.53 490.69,-929.75 495.3,-924.48"/>
</g>
<!-- NASALib/nominal@nominal_AC_ac_step -->
<g id="node24" class="node">
<title>NASALib/nominal@nominal_AC_ac_step</title>
<ellipse fill="#e6f3ff" stroke="black" cx="262" cy="-830.5" rx="91.27" ry="18"/>
<text text-anchor="middle" x="262" y="-825.45" font-family="Times,serif" font-size="14.00">nominal_AC_ac_step</text>
</g>
<!-- NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@aux_nominal_AC_unification -->
<g id="edge52" class="edge">
<title>NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@aux_nominal_AC_unification</title>
<path fill="none" stroke="black" d="M277.13,-812.44C290.87,-796.95 309,-776.5 309,-776.5 309,-776.5 312.92,-741.61 315.85,-715.52"/>
<polygon fill="black" stroke="black" points="319.43,-715.99 317.07,-705.66 312.48,-715.21 319.43,-715.99"/>
</g>
<!-- NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge53" class="edge">
<title>NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M39,-253.5C39,-253.5 90,-164.5 90,-164.5 90,-164.5 450.12,-135.97 641.93,-120.77"/>
<polygon fill="black" stroke="black" points="641.93,-124.21 651.63,-119.93 641.38,-117.23 641.93,-124.21"/>
<path fill="none" stroke="black" d="M37,-469.5C37,-469.5 39,-255.5 39,-255.5"/>
<path fill="none" stroke="black" d="M216.16,-814.6C167.95,-798.92 99,-776.5 99,-776.5 99,-776.5 17,-687.5 17,-687.5 17,-687.5 17,-687.5 17,-613.5 17,-613.5 37,-471.5 37,-471.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step -->
<g id="node28" class="node">
<title>NASALib/nominal@nominal_AC_inst_step</title>
<ellipse fill="#e6f3ff" stroke="black" cx="204" cy="-758.5" rx="96.39" ry="18"/>
<text text-anchor="middle" x="204" y="-753.45" font-family="Times,serif" font-size="14.00">nominal_AC_inst_step</text>
</g>
<!-- NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@nominal_AC_inst_step -->
<g id="edge54" class="edge">
<title>NASALib/nominal@nominal_AC_ac_step&#45;&gt;NASALib/nominal@nominal_AC_inst_step</title>
<path fill="none" stroke="black" d="M247.96,-812.55C241.15,-804.34 232.83,-794.29 225.26,-785.16"/>
<polygon fill="black" stroke="black" points="227.39,-783.24 218.31,-777.78 222,-787.71 227.39,-783.24"/>
</g>
<!-- NASALib/nominal@nominal_AC_equality -->
<g id="node25" class="node">
<title>NASALib/nominal@nominal_AC_equality</title>
<ellipse fill="#e6f3ff" stroke="black" cx="169" cy="-398.5" rx="93.32" ry="18"/>
<text text-anchor="middle" x="169" y="-393.45" font-family="Times,serif" font-size="14.00">nominal_AC_equality</text>
</g>
<!-- NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge55" class="edge">
<title>NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M199.95,-381.09C238.96,-360.4 301,-327.5 301,-327.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge56" class="edge">
<title>NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M213.99,-382.31C260.38,-366.65 326,-344.5 326,-344.5 326,-344.5 409.78,-303.53 463.65,-277.19"/>
<polygon fill="black" stroke="black" points="464.89,-279.99 472.34,-272.45 461.82,-273.7 464.89,-279.99"/>
</g>
<!-- NASALib/nominal@nominal_AC_freshness -->
<g id="node27" class="node">
<title>NASALib/nominal@nominal_AC_freshness</title>
<ellipse fill="#e6f3ff" stroke="black" cx="154" cy="-326.5" rx="97.93" ry="18"/>
<text text-anchor="middle" x="154" y="-321.45" font-family="Times,serif" font-size="14.00">nominal_AC_freshness</text>
</g>
<!-- NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@nominal_AC_freshness -->
<g id="edge57" class="edge">
<title>NASALib/nominal@nominal_AC_equality&#45;&gt;NASALib/nominal@nominal_AC_freshness</title>
<path fill="none" stroke="black" d="M165.29,-380.2C163.68,-372.65 161.74,-363.62 159.93,-355.18"/>
<polygon fill="black" stroke="black" points="163.18,-354.65 157.67,-345.6 156.34,-356.12 163.18,-354.65"/>
</g>
<!-- NASALib/nominal@nominal_AC_fresh_subs -->
<g id="node26" class="node">
<title>NASALib/nominal@nominal_AC_fresh_subs</title>
<ellipse fill="#e6f3ff" stroke="black" cx="179" cy="-542.5" rx="103.04" ry="18"/>
<text text-anchor="middle" x="179" y="-537.45" font-family="Times,serif" font-size="14.00">nominal_AC_fresh_subs</text>
</g>
<!-- NASALib/nominal@nominal_AC_substitution -->
<g id="node29" class="node">
<title>NASALib/nominal@nominal_AC_substitution</title>
<ellipse fill="#e6f3ff" stroke="black" cx="183" cy="-470.5" rx="106.63" ry="18"/>
<text text-anchor="middle" x="183" y="-465.45" font-family="Times,serif" font-size="14.00">nominal_AC_substitution</text>
</g>
<!-- NASALib/nominal@nominal_AC_fresh_subs&#45;&gt;NASALib/nominal@nominal_AC_substitution -->
<g id="edge58" class="edge">
<title>NASALib/nominal@nominal_AC_fresh_subs&#45;&gt;NASALib/nominal@nominal_AC_substitution</title>
<path fill="none" stroke="black" d="M179.99,-524.2C180.42,-516.74 180.92,-507.82 181.4,-499.47"/>
<polygon fill="black" stroke="black" points="184.95,-499.79 182.02,-489.6 177.96,-499.39 184.95,-499.79"/>
</g>
<!-- NASALib/nominal@nominal_AC_freshness&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge59" class="edge">
<title>NASALib/nominal@nominal_AC_freshness&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M121.64,-309.17C90.79,-293.59 49,-272.5 49,-272.5 49,-272.5 39,-255.5 39,-255.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_term_properties -->
<g id="node31" class="node">
<title>NASALib/nominal@nominal_AC_term_properties</title>
<ellipse fill="#e6f3ff" stroke="black" cx="180" cy="-254.5" rx="122.49" ry="18"/>
<text text-anchor="middle" x="180" y="-249.45" font-family="Times,serif" font-size="14.00">nominal_AC_term_properties</text>
</g>
<!-- NASALib/nominal@nominal_AC_freshness&#45;&gt;NASALib/nominal@nominal_AC_term_properties -->
<g id="edge60" class="edge">
<title>NASALib/nominal@nominal_AC_freshness&#45;&gt;NASALib/nominal@nominal_AC_term_properties</title>
<path fill="none" stroke="black" d="M160.43,-308.2C163.26,-300.57 166.66,-291.42 169.82,-282.9"/>
<polygon fill="black" stroke="black" points="173.45,-284.2 173.65,-273.6 166.88,-281.76 173.45,-284.2"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@aux_nominal_AC_unification -->
<g id="edge61" class="edge">
<title>NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@aux_nominal_AC_unification</title>
<path fill="none" stroke="black" d="M231.25,-740.91C246.36,-731.72 265.35,-720.16 281.8,-710.14"/>
<polygon fill="black" stroke="black" points="283.42,-712.65 290.14,-704.46 279.78,-706.67 283.42,-712.65"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@diophantine -->
<g id="edge62" class="edge">
<title>NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@diophantine</title>
<path fill="none" stroke="black" d="M37,-541.5C37,-541.5 67,-524.5 67,-524.5 67,-524.5 299,-488.5 299,-488.5 299,-488.5 350.43,-448.7 384.5,-422.33"/>
<polygon fill="black" stroke="black" points="386.41,-424.51 392.17,-415.62 382.12,-418.97 386.41,-424.51"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge63" class="edge">
<title>NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M179,-613.5C179,-613.5 63,-560.5 63,-560.5 63,-560.5 37,-543.5 37,-543.5"/>
<path fill="none" stroke="black" d="M197.82,-740.2C190.42,-719.47 179,-687.5 179,-687.5"/>
<path fill="none" stroke="black" d="M179,-685.5C179,-685.5 179,-615.5 179,-615.5"/>
<path fill="none" stroke="black" d="M37,-541.5C37,-541.5 37,-471.5 37,-471.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@nominal_AC_fresh_subs -->
<g id="edge64" class="edge">
<title>NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@nominal_AC_fresh_subs</title>
<path fill="none" stroke="black" d="M179,-613.5C179,-613.5 179,-591.16 179,-571.72"/>
<polygon fill="black" stroke="black" points="182.5,-571.8 179,-561.8 175.5,-571.8 182.5,-571.8"/>
</g>
<!-- NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@nominal_AC_unification -->
<g id="edge65" class="edge">
<title>NASALib/nominal@nominal_AC_inst_step&#45;&gt;NASALib/nominal@nominal_AC_unification</title>
<path fill="none" stroke="black" d="M179,-685.5C179,-685.5 189,-668.5 189,-668.5 189,-668.5 225.94,-651.18 257.57,-636.34"/>
<polygon fill="black" stroke="black" points="258.61,-639.25 266.17,-631.83 255.63,-632.91 258.61,-639.25"/>
</g>
<!-- NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge66" class="edge">
<title>NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M321,-325.5C321,-325.5 341,-255.5 341,-255.5"/>
<path fill="none" stroke="black" d="M341,-253.5C341,-253.5 351,-236.5 351,-236.5 351,-236.5 430.79,-217.28 494.26,-201.99"/>
<polygon fill="black" stroke="black" points="494.79,-205.22 503.69,-199.47 493.15,-198.41 494.79,-205.22"/>
<path fill="none" stroke="black" d="M210.84,-452.73C236.62,-437.2 271,-416.5 271,-416.5 271,-416.5 321,-327.5 321,-327.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge67" class="edge">
<title>NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M215.31,-452.88C245.51,-437.33 286,-416.5 286,-416.5 286,-416.5 351,-380.5 351,-380.5 351,-380.5 487,-327.5 487,-327.5"/>
<path fill="none" stroke="black" d="M487,-325.5C487,-325.5 493.83,-302.74 499.7,-283.18"/>
<polygon fill="black" stroke="black" points="503.29,-284.39 502.81,-273.8 496.58,-282.38 503.29,-284.39"/>
</g>
<!-- NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@nominal_AC_equality -->
<g id="edge68" class="edge">
<title>NASALib/nominal@nominal_AC_substitution&#45;&gt;NASALib/nominal@nominal_AC_equality</title>
<path fill="none" stroke="black" d="M179.54,-452.2C178.03,-444.65 176.22,-435.62 174.54,-427.18"/>
<polygon fill="black" stroke="black" points="177.81,-426.72 172.42,-417.6 170.95,-428.1 177.81,-426.72"/>
</g>
<!-- NASALib/nominal@nominal_AC_term -->
<g id="node30" class="node">
<title>NASALib/nominal@nominal_AC_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="180" cy="-182.5" rx="81.04" ry="18"/>
<text text-anchor="middle" x="180" y="-177.45" font-family="Times,serif" font-size="14.00">nominal_AC_term</text>
</g>
<!-- NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@atoms -->
<g id="edge69" class="edge">
<title>NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@atoms</title>
<path fill="none" stroke="black" d="M278.98,-243.66C316.79,-239.9 351,-236.5 351,-236.5 351,-236.5 965,-200.5 965,-200.5 965,-200.5 975.21,-197.7 987.35,-194.37"/>
<polygon fill="black" stroke="black" points="988.1,-197.52 996.82,-191.5 986.25,-190.77 988.1,-197.52"/>
</g>
<!-- NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge70" class="edge">
<title>NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M213.77,-236.73C255.49,-216.02 321,-183.5 321,-183.5"/>
<path fill="none" stroke="black" d="M321,-181.5C321,-181.5 393,-164.5 393,-164.5 393,-164.5 554.56,-141.1 663,-125.4"/>
<polygon fill="black" stroke="black" points="663.26,-128.76 672.65,-123.86 662.25,-121.83 663.26,-128.76"/>
</g>
<!-- NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge71" class="edge">
<title>NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M255.39,-240C318.37,-228.73 408.51,-212.59 476.34,-200.45"/>
<polygon fill="black" stroke="black" points="476.8,-203.74 486.03,-198.53 475.57,-196.85 476.8,-203.74"/>
</g>
<!-- NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@nominal_AC_term -->
<g id="edge72" class="edge">
<title>NASALib/nominal@nominal_AC_term_properties&#45;&gt;NASALib/nominal@nominal_AC_term</title>
<path fill="none" stroke="black" d="M180,-236.2C180,-228.74 180,-219.82 180,-211.47"/>
<polygon fill="black" stroke="black" points="183.5,-211.6 180,-201.6 176.5,-211.6 183.5,-211.6"/>
</g>
<!-- NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge73" class="edge">
<title>NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M301,-325.5C301,-325.5 321,-255.5 321,-255.5"/>
<path fill="none" stroke="black" d="M321,-253.5C321,-253.5 321,-183.5 321,-183.5"/>
<path fill="none" stroke="black" d="M240.56,-599.64C170.94,-583.94 67,-560.5 67,-560.5 67,-560.5 67,-380.5 67,-380.5 67,-380.5 261,-344.5 261,-344.5 261,-344.5 301,-327.5 301,-327.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge74" class="edge">
<title>NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M303.16,-596.04C307.29,-533.95 321,-327.5 321,-327.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@nominal_AC_fresh_subs -->
<g id="edge75" class="edge">
<title>NASALib/nominal@nominal_AC_unification&#45;&gt;NASALib/nominal@nominal_AC_fresh_subs</title>
<path fill="none" stroke="black" d="M272.85,-596.91C256.43,-587.56 235.7,-575.77 217.91,-565.64"/>
<polygon fill="black" stroke="black" points="219.79,-562.12 209.37,-560.21 216.33,-568.2 219.79,-562.12"/>
</g>
<!-- NASALib/nominal@nominal_AC_variant_inputs&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more -->
<g id="edge76" class="edge">
<title>NASALib/nominal@nominal_AC_variant_inputs&#45;&gt;NASALib/nominal@list_aux_equational_reasoning_more</title>
<path fill="none" stroke="black" d="M505,-541.5C505,-541.5 525,-399.5 525,-399.5"/>
<path fill="none" stroke="black" d="M525,-397.5C525,-397.5 487,-327.5 487,-327.5"/>
<path fill="none" stroke="black" d="M465,-884.09C465,-846.17 465,-759.5 465,-759.5 465,-759.5 465,-759.5 465,-685.5 465,-685.5 480,-596.5 480,-596.5 480,-596.5 505,-543.5 505,-543.5"/>
</g>
<!-- NASALib/nominal@nominal_AC_variant_inputs&#45;&gt;NASALib/nominal@nominal_AC_ac_step -->
<g id="edge77" class="edge">
<title>NASALib/nominal@nominal_AC_variant_inputs&#45;&gt;NASALib/nominal@nominal_AC_ac_step</title>
<path fill="none" stroke="black" d="M418.68,-885.53C388.17,-875.01 348.09,-861.19 316.11,-850.16"/>
<polygon fill="black" stroke="black" points="317.63,-846.63 307.03,-846.68 315.34,-853.25 317.63,-846.63"/>
</g>
<!-- NASALib/nominal@nominal_term -->
<g id="node34" class="node">
<title>NASALib/nominal@nominal_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1321" cy="-254.5" rx="63.63" ry="18"/>
<text text-anchor="middle" x="1321" y="-249.45" font-family="Times,serif" font-size="14.00">nominal_term</text>
</g>
<!-- NASALib/nominal@nominal_term&#45;&gt;NASALib/nominal@atoms -->
<g id="edge78" class="edge">
<title>NASALib/nominal@nominal_term&#45;&gt;NASALib/nominal@atoms</title>
<path fill="none" stroke="black" d="M1271.42,-242.77C1199.83,-227.29 1076,-200.5 1076,-200.5 1076,-200.5 1071.38,-198.9 1064.98,-196.68"/>
<polygon fill="black" stroke="black" points="1066.25,-193.06 1055.65,-193.09 1063.95,-199.68 1066.25,-193.06"/>
</g>
<!-- NASALib/nominal@syntactic_term -->
<g id="node39" class="node">
<title>NASALib/nominal@syntactic_term</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1321" cy="-182.5" rx="65.68" ry="18"/>
<text text-anchor="middle" x="1321" y="-177.45" font-family="Times,serif" font-size="14.00">syntactic_term</text>
</g>
<!-- NASALib/nominal@nominal_term&#45;&gt;NASALib/nominal@syntactic_term -->
<g id="edge79" class="edge">
<title>NASALib/nominal@nominal_term&#45;&gt;NASALib/nominal@syntactic_term</title>
<path fill="none" stroke="black" d="M1321,-236.2C1321,-228.74 1321,-219.82 1321,-211.47"/>
<polygon fill="black" stroke="black" points="1324.5,-211.6 1321,-201.6 1317.5,-211.6 1324.5,-211.6"/>
</g>
<!-- NASALib/nominal@nominalunif -->
<g id="node35" class="node">
<title>NASALib/nominal@nominalunif</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1404" cy="-542.5" rx="56.47" ry="18"/>
<text text-anchor="middle" x="1404" y="-537.45" font-family="Times,serif" font-size="14.00">nominalunif</text>
</g>
<!-- NASALib/nominal@syntactic_substitution -->
<g id="node38" class="node">
<title>NASALib/nominal@syntactic_substitution</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1355" cy="-470.5" rx="91.27" ry="18"/>
<text text-anchor="middle" x="1355" y="-465.45" font-family="Times,serif" font-size="14.00">syntactic_substitution</text>
</g>
<!-- NASALib/nominal@nominalunif&#45;&gt;NASALib/nominal@syntactic_substitution -->
<g id="edge80" class="edge">
<title>NASALib/nominal@nominalunif&#45;&gt;NASALib/nominal@syntactic_substitution</title>
<path fill="none" stroke="black" d="M1392.14,-524.55C1386.5,-516.51 1379.64,-506.7 1373.36,-497.73"/>
<polygon fill="black" stroke="black" points="1375.69,-495.96 1367.09,-489.78 1369.96,-499.97 1375.69,-495.96"/>
</g>
<!-- NASALib/nominal@nominalunif&#45;&gt;NASALib/structures -->
<g id="edge81" class="edge">
<title>NASALib/nominal@nominalunif&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1420.59,-524.91C1441.29,-504.21 1474,-471.5 1474,-471.5"/>
</g>
<!-- NASALib/nominal@syntactic_alpha_equivalence -->
<g id="node36" class="node">
<title>NASALib/nominal@syntactic_alpha_equivalence</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1355" cy="-398.5" rx="116.86" ry="18"/>
<text text-anchor="middle" x="1355" y="-393.45" font-family="Times,serif" font-size="14.00">syntactic_alpha_equivalence</text>
</g>
<!-- NASALib/nominal@syntactic_freshness -->
<g id="node37" class="node">
<title>NASALib/nominal@syntactic_freshness</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1355" cy="-326.5" rx="82.57" ry="18"/>
<text text-anchor="middle" x="1355" y="-321.45" font-family="Times,serif" font-size="14.00">syntactic_freshness</text>
</g>
<!-- NASALib/nominal@syntactic_alpha_equivalence&#45;&gt;NASALib/nominal@syntactic_freshness -->
<g id="edge82" class="edge">
<title>NASALib/nominal@syntactic_alpha_equivalence&#45;&gt;NASALib/nominal@syntactic_freshness</title>
<path fill="none" stroke="black" d="M1355,-380.2C1355,-372.74 1355,-363.82 1355,-355.47"/>
<polygon fill="black" stroke="black" points="1358.5,-355.6 1355,-345.6 1351.5,-355.6 1358.5,-355.6"/>
</g>
<!-- NASALib/nominal@syntactic_freshness&#45;&gt;NASALib/nominal@nominal_term -->
<g id="edge83" class="edge">
<title>NASALib/nominal@syntactic_freshness&#45;&gt;NASALib/nominal@nominal_term</title>
<path fill="none" stroke="black" d="M1346.6,-308.2C1342.81,-300.4 1338.25,-291.01 1334.03,-282.33"/>
<polygon fill="black" stroke="black" points="1336.83,-281.07 1329.31,-273.6 1330.53,-284.13 1336.83,-281.07"/>
</g>
<!-- NASALib/nominal@syntactic_freshness&#45;&gt;NASALib/structures -->
<g id="edge84" class="edge">
<title>NASALib/nominal@syntactic_freshness&#45;&gt;NASALib/structures</title>
<path fill="none" stroke="black" d="M1381.02,-309.09C1413.83,-288.4 1466,-255.5 1466,-255.5"/>
</g>
<!-- NASALib/nominal@syntactic_substitution&#45;&gt;NASALib/nominal@syntactic_alpha_equivalence -->
<g id="edge85" class="edge">
<title>NASALib/nominal@syntactic_substitution&#45;&gt;NASALib/nominal@syntactic_alpha_equivalence</title>
<path fill="none" stroke="black" d="M1355,-452.2C1355,-444.74 1355,-435.82 1355,-427.47"/>
<polygon fill="black" stroke="black" points="1358.5,-427.6 1355,-417.6 1351.5,-427.6 1358.5,-427.6"/>
</g>
<!-- NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@first_order_AC_apply_ac_step -->
<g id="edge86" class="edge">
<title>NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@first_order_AC_apply_ac_step</title>
<path fill="none" stroke="black" d="M843.6,-669.79C825.79,-660.27 802.8,-647.99 783.19,-637.51"/>
<polygon fill="black" stroke="black" points="785.06,-634.01 774.59,-632.38 781.76,-640.18 785.06,-634.01"/>
</g>
<!-- NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@first_order_AC_unification -->
<g id="edge87" class="edge">
<title>NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@first_order_AC_unification</title>
<path fill="none" stroke="black" d="M955,-541.5C955,-541.5 940,-524.5 940,-524.5 940,-524.5 893.82,-506.5 855.28,-491.49"/>
<polygon fill="black" stroke="black" points="856.76,-487.92 846.17,-487.55 854.22,-494.44 856.76,-487.92"/>
<path fill="none" stroke="black" d="M882.89,-668.37C904.7,-630.6 955,-543.5 955,-543.5"/>
</g>
<!-- NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning -->
<g id="edge88" class="edge">
<title>NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning</title>
<path fill="none" stroke="black" d="M955,-469.5C955,-469.5 975,-399.5 975,-399.5"/>
</g>
<!-- NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters -->
<g id="edge89" class="edge">
<title>NASALib/nominal@termination_alg&#45;&gt;NASALib/nominal@list_aux_equational_reasoning2parameters</title>
<path fill="none" stroke="black" d="M955,-469.5C955,-469.5 955,-399.5 955,-399.5"/>
<path fill="none" stroke="black" d="M955,-397.5C955,-397.5 925,-380.5 925,-380.5 925,-380.5 743,-344.5 743,-344.5 743,-344.5 733,-327.5 733,-327.5"/>
<path fill="none" stroke="black" d="M955,-541.5C955,-541.5 955,-471.5 955,-471.5"/>
</g>
<!-- NASALib/nominal@top_C_nominal_unif_match -->
<g id="node41" class="node">
<title>NASALib/nominal@top_C_nominal_unif_match</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1130" cy="-614.5" rx="115.84" ry="18"/>
<text text-anchor="middle" x="1130" y="-609.45" font-family="Times,serif" font-size="14.00">top_C_nominal_unif_match</text>
</g>
<!-- NASALib/nominal@top_C_nominal_unif_match&#45;&gt;NASALib/nominal@C_nominalunif -->
<g id="edge90" class="edge">
<title>NASALib/nominal@top_C_nominal_unif_match&#45;&gt;NASALib/nominal@C_nominalunif</title>
<path fill="none" stroke="black" d="M1130,-596.2C1130,-588.74 1130,-579.82 1130,-571.47"/>
<polygon fill="black" stroke="black" points="1133.5,-571.6 1130,-561.6 1126.5,-571.6 1133.5,-571.6"/>
</g>
<!-- NASALib/nominal@top_first_order_AC_unification -->
<g id="node42" class="node">
<title>NASALib/nominal@top_first_order_AC_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="767" cy="-830.5" rx="128.12" ry="18"/>
<text text-anchor="middle" x="767" y="-825.45" font-family="Times,serif" font-size="14.00">top_first_order_AC_unification</text>
</g>
<!-- NASALib/nominal@top_first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_unification_alg -->
<g id="edge91" class="edge">
<title>NASALib/nominal@top_first_order_AC_unification&#45;&gt;NASALib/nominal@first_order_AC_unification_alg</title>
<path fill="none" stroke="black" d="M772.69,-812.2C775.19,-804.57 778.2,-795.42 781,-786.9"/>
<polygon fill="black" stroke="black" points="784.58,-788.2 784.38,-777.6 777.93,-786.01 784.58,-788.2"/>
</g>
<!-- NASALib/nominal@top_nominal_AC_match -->
<g id="node43" class="node">
<title>NASALib/nominal@top_nominal_AC_match</title>
<ellipse fill="#e6f3ff" stroke="black" cx="545" cy="-1046.5" rx="103.04" ry="18"/>
<text text-anchor="middle" x="545" y="-1041.45" font-family="Times,serif" font-size="14.00">top_nominal_AC_match</text>
</g>
<!-- NASALib/nominal@top_nominal_AC_match&#45;&gt;NASALib/nominal@nominal_AC_ac_match_alg -->
<g id="edge92" class="edge">
<title>NASALib/nominal@top_nominal_AC_match&#45;&gt;NASALib/nominal@nominal_AC_ac_match_alg</title>
<path fill="none" stroke="black" d="M545,-1028.2C545,-1020.74 545,-1011.82 545,-1003.47"/>
<polygon fill="black" stroke="black" points="548.5,-1003.6 545,-993.6 541.5,-1003.6 548.5,-1003.6"/>
</g>
<!-- NASALib/nominal@top_syntactic_nominal_unification -->
<g id="node44" class="node">
<title>NASALib/nominal@top_syntactic_nominal_unification</title>
<ellipse fill="#e6f3ff" stroke="black" cx="1404" cy="-614.5" rx="139.89" ry="18"/>
<text text-anchor="middle" x="1404" y="-609.45" font-family="Times,serif" font-size="14.00">top_syntactic_nominal_unification</text>
</g>
<!-- NASALib/nominal@top_syntactic_nominal_unification&#45;&gt;NASALib/nominal@nominalunif -->
<g id="edge93" class="edge">
<title>NASALib/nominal@top_syntactic_nominal_unification&#45;&gt;NASALib/nominal@nominalunif</title>
<path fill="none" stroke="black" d="M1404,-596.2C1404,-588.74 1404,-579.82 1404,-571.47"/>
<polygon fill="black" stroke="black" points="1407.5,-571.6 1404,-561.6 1400.5,-571.6 1407.5,-571.6"/>
</g>
</g>
</svg>