Assertion: tree's component | /r/HasProperty | sibling set
Facets:
Source sentences:
text: (3) say that (X, ≤ S ) is a component-wise linear order, each component being a sibling set.