UNIFY – Apply semantic notation

Rolf Hichert about the rule area UNIFY of the SUCCESS formula (with English subtitles)