Reading material
Pages 141-149.
Additional material
Static semantics (page 148-149)