A Game Logic for Natural Language