Assertion list for term "divide total amount of prize winnings".

Results from Ascent++: 1
lottery CapableOfdivide total amount of prize winnings 0.27