Assertion: tree's root | /r/HasProperty | changed to black
Facets:
value: from red
type: OTHER
value: always
type: TEMPORAL
value: necessarily vice versa
type: MANNER
Source sentences:
text: Since the root can always be changed from red to black, but not necessarily vice versa, this rule has little effect on analysis.