Theoremproving
[计] 定理证明
🗣️ 情景例句
Do you have any coupons?
你们有优惠卡吗？
I'm the youngest.
我最年轻
The main exports of the country are wool, lamb, beef, butter, forest products, fruit and vegetables.
这个国家的主要出口产品有羊毛、羔羊、牛肉、黄油、林木制品、水果与蔬菜。