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