Assertion list
airline credit card (subgroup of credit card ) → ReceivesAction
Results from Ascent++: 1
airline credit card → ReceivesAction → redeemed for airline rewards 0.25