Assertion: unordered tree | /r/HasProperty | structure
Facets:
Source sentences:
text: An unordered tree is a structure (X, ≺) where X is a set of nodes and ≺ is a child-to-parent relation between nodes such that: (1) X is non-empty.