Semantics definition and examples