of groningen a pure logic - based approach to natural reasoning .
Recognising textual entailment with robust logical inference