Class QuantifiedExpr