谓词公式 $\forall x(P(x)$ to $\exists y Q(x, y))$ 的前束范式是（ ）
A. $\forall x \exists y(P(x)$ to $Q(x, y))$
B. $\exists \mathrm{x} \forall \mathrm{y}(\mathrm{P}(\mathrm{x})$ to $\mathrm{Q}(\mathrm{x}, \mathrm{y}))$
C. $\forall \mathrm{x} \forall \mathrm{y}(\mathrm{P}(\mathrm{x})$ to $\mathrm{Q}(\mathrm{x}, \mathrm{y}))$
D. $\exists x \exists y(P(x)$ to $Q(x, y))$