of groningen a pure logic - based approach to natural reasoning .
Wide-Coverage Efficient Statistical Parsing with CCG and Log-Linear Models