Text this: On the Expressiveness of the Ambient Logic