Semantics and grammar