Assertion: set's element | /r/HasProperty | the elements of the elements
Facets:
value: precisely
type: MANNER
Source sentences:
text: Axiom of union: For any set x there is a set y whose elements are precisely the elements of the elements of x .
text: there is a set whose elements are precisely the elements of the elements of .