6.5.12 Predicate calculus

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