Assertion list
purple carrot (subgroup of carrot ) → HasProperty
Results from Ascent++: 1
purple carrot → HasProperty → purple 0.62