inference rule soundness英式朗读美式朗读基本解释[计] 推理规则有效性上一个单词:inference rule completeness下一个单词:inference speed