6.5.7 Predicate calculus

Problem: Convert the following formulas to clausal form: \[ R(t, w) \vee \neg \exists x \forall w[\neg(P(w) \vee S(x)) \rightarrow \neg Q(w)] \text {. } \]