Assertion: tree's child | /r/HasProperty | later
Facets:
Source sentences:
text: This can be interpreted as mapping the infinite depth binary tree onto this tree and then applying breadth-first search: replace the "down" edges connecting a parent node to its second and later children with "right" edges from the first child to the second child, from the second child to the third child, etc.