Assertion list for term "more than one winner".

Results from Ascent++: 1
sum HasPropertymore than one winner 0.25