ass</span></span> <span class="symbol"><span class="name">Variable</span><span class="params">(<span name="variable">variable: <a href="MathExpr$.html#T=edu.stanford.nlp.trees.Tree" name="provingground.translation.MathExpr.T" id="provingground.translation.MathExpr.T" class="extmbr">T</a></span>)</span><span class="result"> extends <a href="MathExpr$.html#QuantTerm=provingground.translation.MathExpr" name="provingground.translation.MathExpr.QuantTerm" id="provingground.translation.MathExpr.QuantTerm" class="