Assertion list
lottery (primary) → AtLocation
Results from Ascent++: 1
lottery → AtLocation → another 0.25