Labelled {{Transitions}} for {{Mobile Ambients}} ({{As Synthesized}} via a {{Graphical Encoding}})