high-order predicate calculus英式朗读美式朗读基本解释[计] 高阶谓词演算上一个单词:high-order precedence grammar下一个单词:high-output