nd.translation.NlpProse.Lt" id="provingground.translation.NlpProse.Lt" class="extype">Lt</a>, <a href="NlpProse$$Which$.html" name="provingground.translation.NlpProse.Which" id="provingground.translation.NlpProse.Which" class="extype">Which</a></div></div></div><div id="inheritance-diagram-container" class="toggleContainer block diagram-container"><span class="toggle diagram-link">Type Hierarchy</span><div id="inheritance-diagram" class="diagram hiddenContent"><svg id="graph1" class="class-diagram" width="8