Theoremproving
[计] 定理证明
🗣️ 情景例句
Well, my family, I guess.
嗯， 我一家人 ，我想。
He has gone to America.
他去美国了。[动作结束后的结果持续至今]
In our game we also have eleven players in a team, but our ball is like this.
比赛中，我们一个队也有11名队员，不过我们的球是像这样的！