Zhai, F.; Szymanik, J.; Titov, I. Toward Probabilistic Natural Logic for Syllogistic Reasoning. Proceedings of the AC 2015, 468-477.