Assertion: disjoint union | /r/HasProperty | the set
Facets:
Source sentences:
text: I. The disjoint union of this family is the set