Consider the following premises. w -> R(e). forall x_4: U(x_4) <-> R(x_4). Can we infer w -> U(e) from them?
 From forall x_4: U(x_4) <-> R(x_4) we can infer U(e) <-> R(e). From U(e) <-> R(e) we can infer R(e) -> U(e). Finally, from w -> R(e), R(e) -> U(e) we can infer w -> U(e). Therefore, the answer is yes.