\exists z \forall y \exists x (\overline{Q}(x,z,y)\to R(x)) .

\forall x (\forall y \exists z P(z,y))\vee R(x) .

\forall x \forall y \exists z (P(z,y)\vee R(x)) .

\exists z Q(z,y) \sim \forall y\overline{R}(y) .

\forall z \forall y (P(z,y)\wedge Q(y)) .

\forall z \forall y P(z,y)\wedge\overline{ \forall y Q(y)} .

\exists z \forall y (Q(z,y) \sim \overline{R}(y)) .

\forall y \exists x (\exists z Q(x,z,y)\to R(x)) .