Assertion list for term "pay out in simplifiedexample".
Results from Ascent++: 1
slot machine (subgroup of machine) → CapableOf → pay out in simplifiedexample 0.25