Johannes Bjerva, Johan Bos, Rob van der Goot and Malvina Nissim. The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity. In Proceedings of SemEval 2014: International Workshop on Semantic Evaluation, pp. 642–646, 2014.