Assertion list for term "pay out in simplifiedexample".

Results from Ascent++: 1
slot machine (subgroup of machine) CapableOfpay out in simplifiedexample 0.25