Assertion: quantifier | /r/CapableOf | use individual variables
Facets:
Source sentences:
text: (In first order logic, all variables range over individual objects; all predicate letters are constants; and all quantifiers use individual variables.