单项选择题
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))