semantics refined