Assertion: quantifier | /r/CapableOf | bind single type of variable
Facets:
Source sentences:
text: We generally let quantifiers bind a single type of variable, but we may find it helpful, on occasion, to let them bind additional types of variables in order to quantify over different sorts of values.