UNIFY – Apply semantic notation Rolf Hichert about the rule area UNIFY of the SUCCESS formula (with English subtitles)