semantic definition extended, some renamings
adapted to new semantics chapter<