Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
Yeah, we caught lots of them. Look!
当然 我们抓到不少鱼。看！
To swing
打秋千
There is a bridge over the river.
河上有一座桥。