Paramodulation
[计] 调解法
🗣️ 情景例句
do you take Harry Bennett
愿意接受Harry bennett
It is better to fight for good than to rail at the ill.
与其抱怨，不如积善。
Have you decided which boat to take, Sir?
先生，您决定用哪只船了吗？