Assertion list
paper coupon (subgroup of coupon ) → ReceivesAction

Results from Ascent++: 1
paper couponReceivesAction difficult to distribute 0.59