So that particular argument for extending particular function argument the assertion language or for expressing contracts in English goes away at least in the long term.

因此，有关扩展断言表达式有关因此语言和英语中的契约表述的争论，在一个较长时期后将会契约争论表述沉寂下来。

youdao

So that particular argument for extending the assertion language or for expressing contracts in English goes away at least in the long term.

因此，有关扩展断言语言和英语中的契约表述的争论，在一个较长时期后将会沉寂下来。

youdao