Assertion list
minority voter (subgroup of voter ) → HasA

Results from Ascent++: 1
minority voterHasA same opportunity 0.51