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