Assertion: predicate's variable | /r/CapableOf | range over individual objects
Facets:
value: in first order logic
type: OTHER
Source sentences:
text: Variables are placeholders that range over individual objects.
text: (In first order logic, all variables range over individual objects; all predicate letters are constants; and all quantifiers use individual variables.