Assertion list
unhappy customer (subgroup of customer ) → HasProperty
Results from Ascent++: 1
unhappy customer → HasProperty → bad 0.24