Consider the following premises. For all y_2, y_2 will climb a mountain. There is at least one y_2 for which y_2 will sleep. Can we infer the following from them? There is at least one y_2 for which y_2 will sleep and y_2 will climb a mountain.
Yes.