Assertion: tree | /r/HasAspect | height
Facets:
Source sentences:
text: A tree is a κ-tree, for an ordinal number κ, if and only if it has height