Assertion: predicate's variable | /r/CapableOf | apply to the number of terms
Facets:
Source sentences:
text: A variable, or A function symbol applied to the number of terms required by the function symbol's arity.