existentially quantified formula 存在量限式
existentially quantified
存在量化
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.
文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。
youdao
应用推荐
模块上移
模块下移
不移动