Assertion list
high bidder (subgroup of bidder ) → HasA
Results from Ascent++: 1
high bidder → HasA → right 0.23