Lecture 2: Formal Semantics in Logic and Linguistics