Assertion: tree's property | /r/HasProperty | designed
Facets:
Source sentences:
text: The properties are designed such that this rearranging and recoloring can be performed efficiently.