Assertion: tree's time | /r/HasProperty | bounded
Facets:
Source sentences:
text: Hence the actual time is bounded by: