Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
I've been having a hard time keeping my eyes open
我一直挣扎着要让双眼睁开
Reap as (or what) one has sown.
自食其果。
Apparently sensitive to criticism, the bull forgot all about the matador and charged at the drunk.
对挑衅显然非常敏感的公牛完全撇开斗牛士，直奔醉汉而来。