Assertion list
minority voter (subgroup of voter ) → HasProperty
Results from Ascent++: 1
minority voter → HasProperty → more likely 0.25