Assertion: order logic | /r/CapableOf | quantify over relation
Facets:
Source sentences:
text: First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations.