KarateLesson (extended version)