Paramodulation
[计] 调解法
🗣️ 情景例句
No, thank you.
不， 谢谢 。
A valiant man's look is more than a coward's sword.
勇士的神色胜过懦夫的刀剑。
In Jim and Kate's house, Father Christmas is really Mr. Green.
在吉姆和凯特家里，“圣诞老人”实际上就是格林先生。