自然语言 符号化 “有”字 例析 谓词 苹果 “有些” 歧义现象 形容词 词组 语言环境 语法功能 一阶逻辑 逻辑量词