Natural Language Semantics Using Probabilistic Logic