Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
May I have her office phone number, please?
可以给我她办公室的电话吗？
Whom will you come back with?
你将和谁一起回来？
In the same way, a Russian might fail to see anything amusing in a joke witch would make an Englishman laugh to tears.
同样的道理，一则可以令英国人笑出泪来的笑话，俄国人听了可能觉得没有什么可笑之处。