Assertion list
game (aspect of lottery ) → IsA
Results from Ascent++: 1
game → IsA → renamed the big game mega milli… 0.25