Assertion: tree | /r/HasProperty | t \displaystyle t
Facets:
Source sentences:
text: Given a tree T {\displaystyle T} with a root, and given vertices v {\displaystyle v} , w {\displaystyle w} , call w {\displaystyle w} a successor of v {\displaystyle v} if the unique path from the root to w {\displaystyle w} contains v {\displaystyle v} , and call w {\displaystyle w} an immediate successor of v {\displaystyle v} if additionally the path from v {\displaystyle v} to w {\displaystyle w} contains no other vertex.