"MathExpr$$ExistentialSP.html" title="Existential-style quantified sentence, but also allowing at most one and precisely one." class="class"></a><a href="MathExpr$$ExistentialSP.html" title="Existential-style quantified sentence, but also allowing at most one and precisely one.">ExistentialSP</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="MathExpr$$Exists$.html" title="representing existential 'there', purely as a parsing target" class="object"></a><a href="MathExpr$