Assertion list
color pink (subgroup of pink ) → HasProperty
Results from Ascent++: 1
color pink → HasProperty → synonymous 0.16