Process Knowledge Extraction
Elementary school science and math tests as a driver for AI: take the aristo challenge!