Automatic Construction of Inference-Supporting Knowledge Bases
Elementary school science and math tests as a driver for AI: take the aristo challenge!