Assertion list
second round (subgroup of round ) → IsA
Results from Ascent++: 1
second round → IsA → extra ballot 0.16