Consider the following premises. p_1 -> q_1. p_1. forall z_2: U(z_2). Can we infer q_1 and U(a_18) from them?
 From forall z_2: U(z_2) we can infer U(a_18). From p_1 -> q_1, p_1 we can infer q_1. Finally, from q_1, U(a_18) we can infer q_1 and U(a_18). Therefore, the answer is yes.