 ;
  node2 [URL="NlpProse$$IfMark$.html#inheritance-diagram-container", label="IfMark", id="graph1_2", class="default", tooltip="provingground.translation.NlpProse.IfMark"] ;
  node3 [URL="NlpProse$$Lt$.html#inheritance-diagram-container", label="Lt", id="graph1_3", class="default", tooltip="provingground.translation.NlpProse.Lt"] ;
  node4 [URL="NlpProse$$Which$.html#inheritance-diagram-container", label="Which", id="graph1_4", class="default", tooltip="provingground.translation.NlpProse.Which"] ;
  node5 