Assertion list
coupon rate (subgroup of rate ) → ReceivesAction
Results from Ascent++: 1
coupon rate → ReceivesAction → fixed 0.25