Consider the following premises. p_11 -> w. forall x_10: ~R_10(x_10). R_10(a_10) <-> w. w -> p_11. Can we infer ~p_11 from them?
 From p_11 -> w, w -> p_11 we can infer p_11 <-> w. From forall x_10: ~R_10(x_10) we can infer ~R_10(a_10). From R_10(a_10) <-> w, ~R_10(a_10) we can infer ~w. Finally, from p_11 <-> w, ~w we can infer ~p_11. Therefore, the answer is yes.