Consider the following premises. forall y_2: U(y_2) -> Q(y_2). U(c). w. Can we infer w or q_4 from them?
 From forall y_2: U(y_2) -> Q(y_2) we can infer U(c) -> Q(c). From U(c) -> Q(c), U(c) we can infer Q(c). From w, Q(c) we can infer w and Q(c). From w and Q(c) we can infer w. Finally, from w we can infer w or q_4. Therefore, the answer is yes.