Assertion: predicate | /r/HasProperty | true of element
Facets:
value: according to the given interpretation
type: OTHER
Source sentences:
text: This means that, given an interpretation, a predicate symbol, and n elements of the domain of discourse, one can tell whether the predicate is true of those elements according to the given interpretation.