Assertion list
vast majority (subgroup of majority ) → ReceivesAction

Results from Ascent++: 1
vast majorityReceivesAction disqualified 0.16