Consider the following premises. S_10(i) -> u. forall x_10: S(x_10) -> S_10(x_10). p_1 -> S(i). Can we infer p_1 -> u from them?
 From forall x_10: S(x_10) -> S_10(x_10) we can infer S(i) -> S_10(i). From p_1 -> S(i), S(i) -> S_10(i) we can infer p_1 -> S_10(i). Finally, from p_1 -> S_10(i), S_10(i) -> u we can infer p_1 -> u. Therefore, the answer is yes.