TQL: A Query Language for Semistructured Data Based on the Ambient Logic