6.5.6 Predicate calculus

Problem: Perform skolem normal form of the following formulas presented in preliminary form: \[ \forall t \exists x \forall w \exists y[(P(t, w) \& Q(x, y) \rightarrow S(y)) \rightarrow R(x)] . \]