Is there a place for logic in recognizing textual entailment Johan Bos author 2014 text journal article Linguistic Issues in Language Technology continuing CSLI Publications periodical academic journal bos-2014-place https://aclanthology.org/2014.lilt-9.3/ 2014 9