Bos, J. Is There a Place for Logic in Recognizing Textual Entailment?. LiLT 2014, 9, 27–44.