Assertion list

manufacturer coupon (subgroup of coupon ) → IsA