Assertion list
gamble (primary) → HasProperty
Results from Ascent++: 2
gamble → HasProperty → successful 0.62
gamble → HasProperty → fun 0.26