intro-semantics-syllabus.pdf