6.5.6 Исчисление предикатов

Условие: Выполнить сколемизацию следующих формул, представленных в предваренной форме: \[ \forall t \exists x \forall w \exists y[(P(t, w) \& Q(x, y) \rightarrow S(y)) \rightarrow R(x)] \]