The MathResource
quantify,
vb. 1. to discover a numerical value or to express a quantity.
2. (Logic) to use a quantifier to bind a variable.