In the theory of formal languages, Ogden's lemma is a generalization of the pumping lemma for context-free languages. Wikipedia