Assertion: tree's parent | /r/HasAspect | red child
Facets:
Source sentences:
text: This if statement is trivial, due to case 2 (even though case 2 changed // the sibling to a sibling's child, the sibling's child can't be red, since // no red parent can have a red child).