前束范式 \forall x \exists y \forall z \exis…

前束范式 $\forall x \exists y \forall z \exists w P(x, y, z, w)$∀x∃y∀z∃wP(x,y,z,w) 的 Skolem 标准形（归结法用的、只含全称量词的那一种）是（　）