.Statement.Define" id="provingground.translation.Statement.Define" class="extype">Define</a>[<span name="provingground.translation.Statement.Definition.S" class="extype">S</span>, <span name="provingground.translation.Statement.Definition.E" class="extype">E</span>], <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