Consider the following premises. r. forall x_9: P_9(x_9). Can we infer r and P_9(a) from them?
 From forall x_9: P_9(x_9) we can infer P_9(a). Finally, from r, P_9(a) we can infer r and P_9(a). Therefore, the answer is yes.