单项选择题
公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是（）
A.∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B.∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C.∀x∃y((F(x,y)→G(y))→H(x,y)) D.∃x∃t∃w((F(x,y)→G(t))→H(w,y))