Assertion: order logic | /r/HasProperty | non-logical symbols
Facets:
value: in first-order logic
type: LOCATION
Source sentences:
text: Just as in first-order logic, second-order logic may include non-logical symbols in a particular second-order language.