Logic-Based Question Answering
COGEX: A Logic Prover For Question Answering