Assertion list
store coupon (subgroup of coupon ) → IsA
Results from Ascent++: 1
store coupon → IsA → coupon-based discounts 0.54