Assertion: order predicate | /r/CapableOf | take individual(sconstants
Facets:
Source sentences:
text: In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s).