Used to query a database according to formal representation of natural language query