Added first version of semantics