Pedantry usually means the player is checked out and, consciously or not, trying to sabotage the game.
That or you didn't screen out autists when recruiting for your campaign. (Hint: have everyone meet up for session 0 at a busy brunch cafe or bar. Autists HATE those places and have a hard time mentally filtering out the background noises).