Assertion: predicate | /r/HasProperty | defined
Facets:
Source sentences:
text: A "predicate" in modern model theory is defined from a preconception of set, collection, or "domain" of "individuals".