Works over two assertions, stipulating that as soon as the first assertion ceases to hold, the second must hold thereafter.是什么意思_Works over two assertions, stipulating that as soon as the first assertion ceases to hold, the second must hold thereafter.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句