Assertion: predicate | /r/HasProperty | relation
Facets:
value: between v
type: LOCATION
value: between s
type: LOCATION
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.
text: For example, if the predicate included a relationship between V and S then that would make sense, because it would add information about which implementations are being defined here.