 
  node1 [URL="Statement$$Define.html#inheritance-diagram-container", label="Define[S, E]", id="graph1_1", class="default", tooltip="provingground.translation.Statement.Define"] ;
  node2 [label="Product", id="graph1_2", class="default", tooltip="scala.Product"] ;
  node3 [label="Serializable", id="graph1_3", class="default", tooltip="java.io.Serializable"] ;
  node1 -> node0 [arrowtail="empty", dir="back", id="graph1_1_0", class="inheritance", tooltip="Definition[S, E] is a subtype of Define[S, E]"] ;node