* add semantic of expressions