Assertion list for term "winning number".

Results from Ascent++: 1
zero IsAwinning number 0.25