Assertion: order logic | /r/HasAspect | predicate
Facets:
value: as arguments
type: MANNER
Source sentences:
text: The adjective "first-order" distinguishes first-order logic from higher-order logic in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.:56