Assertion: tree's structure | /r/HasProperty | its topology
Facets:
Source sentences:
text: This data structure defines a directed graph,[j] and for it to be a tree one must add a condition on its global structure (its topology), namely that at most one reference can point to any given node (a node has at most a single parent), and no node in the tree point to the root.