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