Assertion: tree's node | /r/HasAspect | a height of o(log n
Facets:
Source sentences:
text: A red black tree which contains n internal nodes has a height of O(log n).