DEEPsem: Deep Natural Language Understanding with  Probabilistic Logic and Distributional Similarity