(4) Semantics