Separability in the Ambient Logic