谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。