Assertion: order predicate | /r/CapableOf | take a first-order predicate
Facets:
value: as an argument
type: MANNER
Source sentences:
text: In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument.