潜水艇

And he told us of his life in the land of submarine.

他告诉我们他在潜水艇里的生活。

It made you smile, and you asked if I was to live in a Yellow Submarine.

这让你笑了，你还问我我是否会住在一个黄色潜水艇里。

It's a huge submarine.

这是个巨大的潜水艇。

We all live in the yellow submarine.

我们都住在黄色的潜水艇里。

When they get their submarine back, we'll get our money back.

当他们收到潜水艇的时候，我们就能拿回我们的钱了。

Have you ever been in a submarine?

你在潜水艇里呆过吗？

There's really a submarine in there?

里面装的真的是我们的潜水艇吗？

It's our submarine.

这就是我们的潜水艇

This is submarine you sent away for?

这是你邮购的那个潜水艇？

Here is a sub that can submerge for a long long time.

这是艘可以潜水很久很久的潜水艇。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。