Assertion: predicate's variable | /r/CapableOf | stand for relation
Facets:
value: between terms
type: OTHER
Source sentences:
text: In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning).