Assertion list
current customer (subgroup of customer ) → HasA
Results from Ascent++: 1
current customer → HasA → the option 0.31