updated semantics after modifications in abstract model