Paramodulation
[计] 调解法
🗣️ 情景例句
but I've worked so hard on Family Album, U.S.A.,
但是我一直为Family Album, U.S.A.辛勤工作
He that cannot ask cannot live.
不会求者不会生。
His name is Carlos.We're going to get married next week.
他叫卡洛斯。下星期我们就要结婚了。