Assertion: tree | /r/HasProperty | joined in step
Facets:
Source sentences:
text: \displaystyle I} assure that in Step 5 the trees can be joined again and the resulting sequence is sorted.