Paramodulation
[计] 调解法
🗣️ 情景例句
Los Angeles? That's a big decision. Los Angeles
这可是个大决定。
To save time is to lengthen life.
省节时间就是延长寿命。
Where have Jim and Kate gone?
吉姆和凯特去哪儿了？