Assertion: predicate | /r/CapableOf | range over predicate
Facets:
value: freely
type: MANNER
value: themselves
type: MANNER
Source sentences:
text: Such procedures can be devised to decide the logical properties and relations of every sentence in any predicate calculus that does not contain predicates (functions) that range over predicates themselves—
text: Calculi that do contain predicates ranging freely over predicates, on the other hand—called higher-order calculi—do not permit the classification of all their sentences by such routine procedures.