automated reasoning tool英式朗读美式朗读基本解释[计] 自动推理工具上一个单词:automated protocol validation下一个单词:automated retrieval