Topic Areas or Theme ID: discourse analysis, discourse segmentation, discourse plans Word Count: 3196 words (excluding gures) Under consideration for other conferences (specify)? No. Abstract We propose a promising research problem, the machine veriication of textbook proofs. It shows that textbook proofs are a suuciently complex and highly struc-tured form of discourse, embedded in a well-deen...

Text complexity can be reduced by making different choices at the lexical and grammatical levels. However, discourse-level choices may also affect a text’s complexity. In a coherent text, explicit discourse relations (e.g. CAUSE, CONDITION) are expressed using discourse markers (e.g. since, because, etc.) that may be preferred for texts at different readability levels. In this paper, we investi...

It is generally accepted that a discourse connective expresses a semantic and/or pragmatic relation between its matrix sentence or clause and something in the previous discourse. Usually the sense of this relation is expressed as a label, often within a hierarchy of sense labels. But the meaning of these labels may vary from system to system, and the same connective may be assigned different la...