Assertion: tree's root | /r/HasProperty | the ancestor of all nodes
Facets:
Source sentences:
text: If there is a path from node R to node M, then R is an ancestor of M, and M is a descendant of R. Thus, all nodes in the tree are descendants of the root of the tree, while the root is the ancestor of all nodes.