Using first-order logic to compress sentences
Summarization beyond sentence extraction: A probabilistic approach to sentence compression