Added semantics definition, fixed numbering