Assertion list for term "better than evens".

Results from Ascent++: 1
probability HasPropertybetter than evens 0.25