Representation and Inference for Natural Language: A First Course in Computational Semantics (Center for the Study of Language and Information - Lecture Notes)