Assertion: formal symbol | /r/HasProperty | predicate
Facets:
Source sentences:
text: A formal symbol as used in first-order logic may be a variable (member from a universe of discourse), a constant, a function (mapping to another member of universe) or a predicate (mapping to T/F).