CSCI 587 - Lecture 18 Semantics