Assertion: predicate | /r/HasProperty | interpreted as sets of sets
Facets:
value: in interpreted higher-order theories
type: OTHER
Source sentences:
text: In interpreted higher-order theories, predicates may be interpreted as sets of sets.