谓词公式∀x(F(x)⋀G(y)）→∃y(H(x)→S(y,z)中量词∀x的辖域是

谓词公式∀x(F(x)⋀G(y)）→∃y(H(x)→S(y,z)中量词∀x的辖域是
A、F(x)⋀G(y)
B、F(x)
C、∀x(F(x)⋀G(y))
D、F(x), H(x)
【正确答案】：A