review slides for syntax and semantics phil50 added