Assertion: universe | /r/HasProperty | the set of entities
Facets:
value: in model-theoretical semantics
type: OTHER
Source sentences:
text: In model-theoretical semantics, a universe of discourse is the set of entities that a model is based on.