Assertion: predicate's variable | /r/HasProperty | element
Facets:
value: in the universe
type: LOCATION
value: under discussion
type: LOCATION
value: under functions
type: OTHER
Source sentences:
text: The variables could be elements in the universe under discussion, or perhaps relations or functions over that universe.