Assertion: tree's property | /r/HasProperty | checked
Facets:
Source sentences:
text: Property 2 (the root is black) is checked and corrected with case 1.