Each sentence of the document was taken as an assertion, and the document was taken as an assertion stream.The semantics of the document was observed by coalgebra methods.

• 将文档的每一句看作一个断言，并动态地将文档理解为一个断言流，从而利用余代数方法对文档的语义进行观察。