Correcting Contradictions Aikaterini-Lida Kalouli author Valeria de Paiva author Livy Real author 2017 text Proceedings of the Computing Natural Language Inference Workshop conference publication kalouli-etal-2017-correcting https://aclanthology.org/W17-7205/ 2017