Assertion: predicate's variable | /r/HasProperty | distinguished
Facets:
value: from predicate constants
type: OTHER
Source sentences:
text: Predicate variables should be distinguished from predicate constants, which could be represented either with a different (exclusive) set of predicate letters, or by their own symbols which really do have their own specific meaning in their domain of discourse: e.g. = , ∈ , ≤ , < , ⊂ , . . .