Assertion: set's element | /r/CapableOf | visit on the way
Facets:
value: to a root
type: TRANSITIVE-OBJECT
Source sentences:
text: This is valid, since each element visited on the way to a root is part of the same set.