A formal model for information selection in multi-sentence text extraction | Synapse