Assertion list for term "pay out advertised prize".

Results from Ascent++: 1
lottery CapableOfpay out advertised prize 0.25