Formal Semantics of Natural Language · Study