Assertion: tree's parent | /r/CapableOf | become red
Facets:
value: after the rotation
type: TEMPORAL
Source sentences:
text: If a rotation occurs in case 2 (which is the only possibility of rotation within the loop of cases 1–3), then the parent of the node N becomes red after the rotation and we will exit the loop.