Assertion: algorithm | /r/HasProperty | followed by right part
Facets:
Source sentences:
text: Then, the algorithm recurses into the left part, followed by the right part (far below).