Assertion list
lottery (primary) → HasPrerequisite
Results from Ascent++: 2
lottery → HasPrerequisite → participant 0.31
lottery → HasPrerequisite → an entry fee 0.25