Assertion: predicate | /r/HasProperty | an assignment of a truth value
Facets:
value: to the individuals of a domain
type: TRANSITIVE-OBJECT
Source sentences:
text: A predicate over a domain of individuals is an assignment of a truth value (truthhood or falsehood in classical model theory) to the individuals of a domain.