Das folgende Beispiel
Module(Alpha) [ Var(x) ] Module(Beta) : Alpha [ Msg(FOO) FOO: 3 -> x ] Module(Gamma) : Alpha [ Msg(BAR) BAR: "abc" -> x ]
ist semantisch identisch mit
Module(Beta) [ Msg(FOO) Var(x) FOO: 3 -> x ] Module(Gamma) [ Msg(BAR) Var(x) BAR: "abc" -> x ]