Assertion list
eligible voter (subgroup of voter ) → AtLocation
Results from Ascent++: 1
eligible voter → AtLocation → the 10 states 0.25