Theoremproving
[计] 定理证明
🗣️ 情景例句
I have spent my whole life slaving away, it's time for me to take a break and see some of this great country.
我的一生都在忙碌中度过的，现在是休息的时候了，也是去游历这个伟大国家的时候了。
Do you know where I've put my glasses?
你知道我把眼镜搁哪儿了吗？
a brighter promise for the hopeful traveller who has sworn to get away from it all.
而对于发誓用露营来摆脱烦恼的人来说，却带来了更光明的前景。