Lecture 16 - An Introduction to Formal Computational Semantics