Formal models of Web queries | Synapse