initial version of semantics