First-Order Logic Semantics (& no inference, but including Unification) Reading: Chapter 8, 9.1-9.2, 9.5.1-9.5.5 FOL Syntax and Semantics read: 8.1-8.2.