Consider the following premises. forall x_14: W_2(x_14) -> S_14(x_14). q -> W_2(a_14). q. Can we infer S_14(a_14) from them?
 From forall x_14: W_2(x_14) -> S_14(x_14) we can infer W_2(a_14) -> S_14(a_14). From q -> W_2(a_14), q we can infer W_2(a_14). Finally, from W_2(a_14) -> S_14(a_14), W_2(a_14) we can infer S_14(a_14). Therefore, the answer is yes.