Assertion: tree's height | /r/HasProperty | rooted at node
Facets:
Source sentences:
text: h( v ) = height of subtree rooted at node v