E]", id="graph1_3", class="default", tooltip="provingground.translation.Statement"] ;
  node4 [URL="Statement$$Assertion.html#inheritance-diagram-container", label="Assertion[E]", id="graph1_4", class="default", tooltip="provingground.translation.Statement.Assertion"] ;
  node3 -> node0 [arrowtail="empty", dir="back", id="graph1_3_0", class="inheritance", tooltip="Define[S, E] is a subtype of Statement[E]"] ;node4 -> node0 [arrowtail="empty", dir="back", id="graph1_4_0", class="inheritance", tooltip="Define