Assertion list
unhappy customer (subgroup of customer ) → IsA

Results from Ascent++: 1
unhappy customerIsA opportunity 0.25