fixed semantics description