Query a database according to formal representation of natural language query provided by nlidb-core