Assertion: order logic | /r/HasProperty | quantification
Facets:
value: over functions
type: OTHER
value: over other variables
type: OTHER
value: over sets
type: OTHER
Source sentences:
text: Second-order logic also includes quantification over sets, functions, and other variables as explained in the section Syntax and fragments.