Assertion list
lottery (primary) → IsA
Results from Ascent++: 1
lottery → IsA → pure chance 0.31