Assertion list
green grape (subgroup of grape ) → IsA
Results from Ascent++: 1
green grape → IsA → crisper 0.54