Assertion: tree's root | /r/CapableOf | restore property
Facets:
Source sentences:
text: If double red issue propagates to the root, the root is then set to be black, restoring the properties.