[S, E] is a subtype of Assertion[E]"] ;
  node0 -> node1 [arrowtail="empty", dir="back", id="graph1_0_1", class="inheritance", tooltip="Definition[S, E] is a subtype of Define[S, E]"] ;
  node0 -> node2 [arrowtail="empty", dir="back", id="graph1_0_2", class="inheritance", tooltip="DefnPropn[S, E] is a subtype of Define[S, E]"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = document.querySelector("#dot1").text;
    