Handling of semantics is implemented and tested, too.