Formal semantics of natural language · Study