Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding)