Assertion list for term "never attains majority".

Results from Ascent++: 1
tactic CapableOfnever attains majority 0.25