A Query Language Based on the Ambient Logic