设S(x):x是人，G(x):x会气功，命题"有些人会气功"可符号化为 ________________。