Any" class="extype">Any</span></div></div></div><div class="toggleContainer"><div class="toggle block"><span>Known Subclasses</span><div class="subClasses hiddenContent"><a href="NlpProse$$Gt$.html" name="provingground.translation.NlpProse.Gt" id="provingground.translation.NlpProse.Gt" class="extype">Gt</a>, <a href="NlpProse$$IfMark$.html" name="provingground.translation.NlpProse.IfMark" id="provingground.translation.NlpProse.IfMark" class="extype">IfMark</a>, <a href="NlpProse$$Lt$.html" name="provinggrou