nd.translation.Statement.Definition.E" class="extype">E</span>]</h3></div><div name="provingground.translation.Statement.Assertion" class="parent"><h3>Inherited from <a href="Statement$$Assertion.html" name="provingground.translation.Statement.Assertion" id="provingground.translation.Statement.Assertion" class="extype">Assertion</a>[<span name="provingground.translation.Statement.Definition.E" class="extype">E</span>]</h3></div><div name="provingground.translation.Statement" class="parent"><h3>Inherited fro