6.5.5 Predicate calculus

Problem: Indicate all subformulas, as well as the scope of quantifications, free and bound occurrences of all variables in the following formulas: \[ S(t, w) \vee \exists x \forall w[(Q(x, w) \rightarrow P(x)) \rightarrow R(w)] \text {. } \]