Assertion: tree's node | /r/AtLocation | particular node
Facets:
Source sentences:
text: Thus, every node n {\displaystyle n} and leaf l {\displaystyle l} residing in a particular node N {\displaystyle N} is at most distance