Semantics update