Paraphrasing and Aggregating Argumentative Texts Using Text Structure

摘要: We argue in this paper that sophisticated mi-croplanning techniques are required even formathematical proofs, contrast to the beliefthat mathematical texts only schematicand mechanical. demonstrate why para-phrasing and aggregation significantly en-hance flexibility coherence ofthe text produced. To end, we adoptedthe Text Structure of Meteer as our basicrepresentation. The type checking mecha-nism allows us achieveparaphrasing by building comparable combi-nations linguistic resources. Specified interms concepts an uniform ontologicalstructure called Upper Model, se-mantic rules more compactthan similar reported literature.