Minesweeper is a single-player computer game invented by Robert Donner in 1989.
-
A unary predicate mine, where mine(x) means that the cell x contains a mine
-
Which of the following statements is the correct interpretation of the above formula?
A. There are exactly n mines in the game
B. There are at least n mines in the game
C. There are at most n mines in the game
D. None of the above