er">abstract </span> <span class="kind">class</span></span> <span class="symbol"><span class="name">Define</span><span class="tparams">[<span name="S">S</span>, <span name="E">E</span>]</span><span class="result"> extends <a href="Statement.html" name="provingground.translation.Statement" id="provingground.translation.Statement" class="extype">Statement</a>[<span name="provingground.translation.Statement.Define.E" class="extype">E</span>] with <a href="Statement$$Assertion.html" name="provingground.translat