Assertion list
decaffeinated coffee (subgroup of coffee ) → IsA
Results from Ascent++: 1
decaffeinated coffee → IsA → coffee 0.73