Explaining watson: polymath style
COGEX: A Logic Prover For Question Answering