1) rule of the displacement of quantifier
量词置换规则
2) quantifer change rule
量词转换规则
3) substitution rule
置换规则
4) quantifier postposing transformation
数量词后置转换
5) lexical argument changing rule
词汇论元变换规则
6) The rule for deciding the position of Chinese negatives
中文否定词的位置规则
补充资料：存在量词
存在量词
existential quantifier
存在且词【e汕众砚目甲翻‘衡，ey川eeT的皿u。:K皿。-Topl 用来构造命题的一种逻辑运算，表示“对某个x"(“存在一个x满足”).在形式语言中，存在量词被记作日x，(日x)，口、，v、，艺工 B .E .fl二“cKo撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条