谓词公式 $\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))$
E
F