Assertion: tree's root | /r/HasProperty | reachable
Facets:
Source sentences:
text: x, the root is reachable from x in the directed graph (X, parent).