Assertion: tree's height | /r/HasProperty | changed at most one
Facets:
Source sentences:
text: However, the following method which has been proposed by T. Hibbard in 1962 guarantees that the heights of the subject subtrees are changed by at most one.