Assertion: tree's condition | /r/HasProperty | satisfied
Facets:
Source sentences:
text: An ordered tree is a structure (X, ≤ V , ≤ H ) such that conditions (1–5) are satisfied: