Assertion: predicate's variable | /r/HasProperty | a predicate letter
Facets:
value: in first-order logic
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).