So that particular argument for extending the assertionlanguage or for expressing contracts in English goes away at least in the long term.
因此,有关扩展断言语言和英语中的契约表述的争论,在一个较长时期后将会沉寂下来。
2
So that particular argument for extending particular function argument the assertionlanguage or for expressing contracts in English goes away at least in the long term.