New semantics sketch