I'd like to know if I my Skolemization is right:
$$(\exists x(P(x)\lor R(x)))\to((\exists xP(x))\lor(\exists xR(x)))\\(\exists x(P(x)\lor R(x)))\to((\exists yP(y))\lor(\exists zR(z)))\\(\exists x(P(x)\lor R(x)))\to\exists y\exists z.(P(y)\lor R(z))\\\forall x\exists y\exists z.((P(x)\lor R(x)))\to(P(y)\lor R(z))\\\forall x.(P(x)\lor R(x))\to(P(f(x))\lor R(g(x)))$$
Thanks.