Using first-order logic to compress sentences
Discovery of Inference Rules for Question Answering