谓词公式xF(x,y)∧x(G(x,z)→xyH(x,y,z))中量词x的辖域是:( )
·xG(x,z)→xyH(x,y,z);
·G(x,z)→yH(x,y,z);
·G(x,z)→xyH(x,y,z);
·G(x,z)。