Paramodulation
[计] 调解法
🗣️ 情景例句
That's beside the point.
那与话题无关。
Alice, standing tearfully on the platform.
艾丽丝两眼汪汪地站在站台上。
Sometimes I have problems at work but on the whole I enjoy my job.
有时我的工作也有问题，但总的来说，我喜欢我的工作。