semantics defined