标记” "p" 或更多个 "w" 中的位置的所有方式，"w" 可以被写为带有字符串 "u", "v", "x", "y" 和 "z"，使得 "vy" 有至少一个标记了的位置，"vxy" 有最多 "p" 个标记了的位置，而Ogden 引理可以在上下文无关语言的泵引理不充分的情况下，被用来证明特定语言不是上下文无关的。一个例子是语言 formula_3。观察到在所有位置都被标记了的时候，这个引理等价于上下文无关语言的泵引理。