Assertion list
fresh carrot (subgroup of carrot ) → HasProperty
Results from Ascent++: 1
fresh carrot → HasProperty → sweet 0.16