SEMANTICS THEORY