Assertion: unordered tree | /r/HasProperty | a child-to-parent relation
Facets:
value: between nodes
type: LOCATION
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.