$Exists$.html" title="representing existential 'there', purely as a parsing target">Exists</a></li><li class="current-entities indented3"><a href="MathExpr$$ForAllSP$.html" title="" class="object"></a> <a href="MathExpr$$ForAllSP.html" title="Universally quantified sentence." class="class"></a><a href="MathExpr$$ForAllSP.html" title="Universally quantified sentence.">ForAllSP</a></li><li class="current-entities indented3"><a href="MathExpr$$Formula$.html" title="" class="object"></a> <a href="MathExpr$$Form