Assertion list
unhappy customer (subgroup of customer ) → HasA
Results from Ascent++: 1
unhappy customer → HasA → the power 0.30