24.903 Lang & Structure III: Semantics