tion.Statement.Define (this class)"] ;
}
  
  
  
}
  
  node1 [URL="Statement$$Definition.html#inheritance-diagram-container", label="Definition[S, E]", id="graph1_1", class="default", tooltip="provingground.translation.Statement.Definition"] ;
  node2 [URL="Statement$$DefnPropn.html#inheritance-diagram-container", label="DefnPropn[S, E]", id="graph1_2", class="default", tooltip="provingground.translation.Statement.DefnPropn"] ;
  node3 [URL="Statement.html#inheritance-diagram-container", label="Statement[