Assertion: predicate's variable | /r/CapableOf | acquire definite truth-values
Facets:
Source sentences:
text: Such predicates can include both qualities and relations; and, in a higher-order form called the functional calculus, it also includes functions, which are “framework” expressions with one or with several variables that acquire definite truth-values only when the variables are replaced by specific terms.