Formal Semantics of Natural Language