While all statements of Logical Foundations are likely in the training data, proving that a translation is correct is a different task than proving the original statement. ↩︎
apply matches up the type of the result of the proposition with the goal, and then looks at what hypotheses you need to prove to get there
，更多细节参见有道翻译官网
A NASA spacecraft that smashed into an asteroid on purpose didn't just knock one rock off its course. It also nudged the orbit of the entire asteroid system it belongs to, a new study shows.，详情可参考手游
У дипломата спросили, какие будут ответные действия Тегерана, если США и Израиль попробуют совершить покушение на нового главу Исламской Республики Моджтабу Хаменеи. Он заявил, что «ответ Ирана вы видите сегодня».。今日热点对此有专业解读