Assertion: tree's element | /r/HasProperty | pairwise disjoint
Facets:
Source sentences:
text: such that elements of ℱ are pairwise disjoint, and x is a node that does not belong to dom(⋃ℱ).