ion.Statement.Assertion" id="provingground.translation.Statement.Assertion" class="extype">Assertion</a>[<span name="provingground.translation.Statement.Define.E" class="extype">E</span>]</span></span></h4><div id="comment" class="fullcommenttop"><div class="toggleContainer"><div class="toggle block"><span>Linear Supertypes</span><div class="superTypes hiddenContent"><a href="Statement$$Assertion.html" name="provingground.translation.Statement.Assertion" id="provingground.translation.Statement.Assertion" cl