This article examines the results of [6] in a purely tree-theoretic context. We show how this rephrased Chase–Freitag Lemma is sufficient to prove the Sauer–Shelah and Bhaskar Lemmas. We also use this approach to expand these two lemmas to the context of arbitrary finite label sets.