Assertion: predicate | /r/CapableOf | assign a value of true
Facets:
Source sentences:
text: Universality and existence are introduced into Model Theory as extreme forms of assignment of a truth value to individuals or tuples of individuals: a predicate which assigns the value of true irregardless of which individual from the domain is its argument is said to be true for all individuals of the domain (universal), and a predicate which assigns a value of true to at least one individual of its domain is said to be true for some individuals of the domain (existential).