Assertion: tree's root | /r/HasProperty | assigned empty sequence
Facets:
Source sentences:
text: {\displaystyle w(x)} of sibling indices, i.e. the root is assigned the empty sequence and for every non-root node x, let w(x) = w(parent(x))