S
semantics