Text this: Separability in the Ambient Logic