 When Hintikka began to apply GTS to the study of natural language (Hintikka 1973a), he took up the question of whether branching quantifiers occur in natural languages. He was led to ask whether there are semantic games with imperfect information. He detected various types of grammatical constructions in English that involve informational  independence.[84]  An often cited example is the sentence 