Assertion: graph's ordering | /r/HasProperty | equivalent
Facets:
Source sentences:
text: This is called a "plane tree" because an ordering of the children is equivalent to an embedding of the tree in the plane, with the root at the top and the children of each vertex lower than that vertex.