Assertion: tree's property | /r/HasProperty | restored in step
Facets:
Source sentences:
text: Property 4 (both children of every red node are black) is restored in step 2.