Assertion list
simple majority (subgroup of majority ) → HasProperty
Results from Ascent++: 1
simple majority → HasProperty → sufficient 0.34