[单选]  谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．(   )