Assertion: tree's property | /r/HasProperty | violated
Facets:
Source sentences:
text: Do a right rotation on G, putting P in place of G and making P the parent of N and G. G is black and its former child P is red, since property 4 was violated.