Assertion list
minesweeper (primary) → IsA
Results from Ascent++: 1
minesweeper → IsA → game 0.25