Assertion list
special election (subgroup of election ) → HasProperty
Results from Ascent++: 1
special election → HasProperty → necessary 0.25