Consider the following premises. ~S_11(a_11). forall x_11: U_3(x_11) <-> S_11(x_11). q. w_1 -> ~q. Can we infer U_3(a_11) from them?
 From w_1 -> ~q, q we can infer ~w_1. From forall x_11: U_3(x_11) <-> S_11(x_11) we can infer U_3(a_11) <-> S_11(a_11). Finally, from U_3(a_11) <-> S_11(a_11), ~S_11(a_11) we can infer ~U_3(a_11), which contradicts U_3(a_11). Therefore, the answer is no.