Formal Semantics of Natural Language. · Study