Many assertions in mathematics have such alternating ∀ ∃ quantifiers, and these can always be given the strategic reading for the game, in which the challenger plays instances of the universal ∀ quantifier and the defender answers with witnesses for ∃.
