Assertion: tree's node | /r/HasProperty | element
Facets:
Source sentences:
text: is the set of reversed paths to , i.e. the set of non-empty finite sequences of nodes (elements of ) such that (a) consecutive members of are inversely -related, and (b) the first member of is the root ,