Assertion list
red grape (subgroup of grape ) → HasProperty
Results from Ascent++: 1
red grape → HasProperty → red 0.51