Fact Checking: Task definition and dataset construction
Recognising Textual Entailment With Logical Inference