Assertion list
green grape (subgroup of grape ) → HasProperty
Results from Ascent++: 1
green grape → HasProperty → the sweetest 0.39