Assertion list
proxy voting (subgroup of vote ) → HasProperty
Results from Ascent++: 1
proxy voting → HasProperty → illegal 0.25