div class="toggleContainer"><div class="toggle block"><span>Known Subclasses</span><div class="subClasses hiddenContent"><a href="Statement$$Definition.html" name="provingground.translation.Statement.Definition" id="provingground.translation.Statement.Definition" class="extype">Definition</a>, <a href="Statement$$DefnPropn.html" name="provingground.translation.Statement.DefnPropn" id="provingground.translation.Statement.DefnPropn" class="extype">DefnPropn</a></div></div></div><div id="inheritance-diagram-co