19. A computer system comprising: memory for storing an input document which includes an abstract and a main body; an entailment component implemented in hardware and software which, for each sentence of the abstract of the input document, compares the sentence with sentences of the main body of the input document using textual entailment techniques to identify whether the sentence of the abstract entails a sentence in the main body of the input document, the textual entailment techniques including identifying one-directional paraphrasing, wherein the entailed sentence in the main body need not entail the sentence of the abstract; at least one of: a) a link generator implemented in hardware and software which generates links between the entailing sentences of the abstract and the corresponding entailed sentences of the input document, and b) an evaluation component which evaluates the cohesiveness of the abstract based on whether fewer than all the sentences of the abstract are identified as entailing at least one sentence of the main body of the input document; and an output for outputting at least one of the generated links and the cohesiveness evaluation.
19. A computer system comprising: memory for storing an input document which includes an abstract and a main body; an entailment component implemented in hardware and software which, for each sentence of the abstract of the input document, compares the sentence with sentences of the main body of the input document using textual entailment techniques to identify whether the sentence of the abstract entails a sentence in the main body of the input document, the textual entailment techniques including identifying one-directional paraphrasing, wherein the entailed sentence in the main body need not entail the sentence of the abstract; at least one of: a) a link generator implemented in hardware and software which generates links between the entailing sentences of the abstract and the corresponding entailed sentences of the input document, and b) an evaluation component which evaluates the cohesiveness of the abstract based on whether fewer than all the sentences of the abstract are identified as entailing at least one sentence of the main body of the input document; and an output for outputting at least one of the generated links and the cohesiveness evaluation. 20. The computer system of claim 19 , further comprising a parser which parses the input document using natural language processing, the entailment component operating on the parsed input document.