From Syntax to Semantics