Theoremproving
[计] 定理证明
🗣️ 情景例句
That's very wise, Robbie.
这是很明智的 ，Robbie。
During your first year of college,did you make straight A's?
在你大学的第一年期间，你一直的得A？
A navy ship was in a port in Scotland for repairs.
一艘军舰停靠在苏格兰的一个码头等待维修。