Consider the following premises. P_3(a_8) -> q. q or ~S_8(a_8). forall x_8: P_3(x_8) or S_8(x_8). Can we infer q from them?
 From forall x_8: P_3(x_8) or S_8(x_8) we can infer P_3(a_8) or S_8(a_8). From q or ~S_8(a_8) we can infer S_8(a_8) -> q. Finally, from P_3(a_8) -> q, S_8(a_8) -> q, P_3(a_8) or S_8(a_8) we can infer q. Therefore, the answer is yes.