Deriving Structural Labelled Transitions for Mobile Ambients