-semantics