Assertion list
unhappy customer (subgroup of customer ) → ReceivesAction
Results from Ascent++: 1
unhappy customer → ReceivesAction → heard 0.39