richardr1126/spider-natsql-context-validation huggingface dataset:
### Instruction:

Convert text to NatSQL: How many official languages are spoken in Afghanistan? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( country.* )  from country  where  country.Name = "Afghanistan"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What is name of the country that speaks the largest number of languages? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from countrylanguage  group by country.Name  order by count ( countrylanguage.* )  desc limit 1

### Instruction:

Convert text to NatSQL: Give the name of the nation that uses the greatest amount of languages. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from countrylanguage  group by country.Name  order by count ( countrylanguage.* )  desc limit 1

### Instruction:

Convert text to NatSQL: Which continent has the most diverse languages? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Continent from countrylanguage  group by country.Continent  order by count ( countrylanguage.* )  desc limit 1
### Instruction:

Convert text to NatSQL: Which continent speaks the most languages? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Continent from countrylanguage  group by country.Continent  order by count ( countrylanguage.* )  desc limit 1

### Instruction:

Convert text to NatSQL: How many countries speak both English and Dutch? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( country.* )  from country  where  countrylanguage.Language = "English"  and  countrylanguage.Language = "Dutch"

### Instruction:

Convert text to NatSQL: What is the number of nations that use English and Dutch? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( country.* )  from country  where  countrylanguage.Language = "English"  and  countrylanguage.Language = "Dutch"

### Instruction:

Convert text to NatSQL: What are the names of nations speak both English and French? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  countrylanguage.Language = "English"  and  countrylanguage.Language = "French"
### Instruction:

Convert text to NatSQL: Give the names of nations that speak both English and French. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  countrylanguage.Language = "English"  and  countrylanguage.Language = "French"

### Instruction:

Convert text to NatSQL: What are the names of nations where both English and French are official languages? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"  and  countrylanguage.Language = "French"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: Give the names of countries with English and French as official languages. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"  and  countrylanguage.Language = "French"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What is the number of distinct continents where Chinese is spoken? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count (  distinct country.Continent )  from country  where  countrylanguage.Language = "Chinese"
### Instruction:

Convert text to NatSQL: How many continents speak Chinese? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count (  distinct country.Continent )  from country  where  countrylanguage.Language = "Chinese"

### Instruction:

Convert text to NatSQL: What are the regions that use English or Dutch? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct country.Region from country  where  countrylanguage.Language = "English"  or  countrylanguage.Language = "Dutch"

### Instruction:

Convert text to NatSQL: Which regions speak Dutch or English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct country.Region from country  where  countrylanguage.Language = "English"  or  countrylanguage.Language = "Dutch"

### Instruction:

Convert text to NatSQL: What are the countries where either English or Dutch is the official language ? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.name from country  where  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"  or  countrylanguage.Language = "Dutch"  and  countrylanguage.IsOfficial = "T"
### Instruction:

Convert text to NatSQL: Which countries have either English or Dutch as an official language? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.name from country  where  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"  or  countrylanguage.Language = "Dutch"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: Which language is the most popular on the Asian continent? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.Continent = "Asia"  group by countrylanguage.Language  order by count ( country.* )  desc limit 1

### Instruction:

Convert text to NatSQL: What is the language that is used by the largest number of Asian nations? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.Continent = "Asia"  group by countrylanguage.Language  order by count ( country.* )  desc limit 1

### Instruction:

Convert text to NatSQL: Which languages are spoken by only one country in republic governments? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.GovernmentForm = "Republic"  and  count ( country.* )  = 1  group by countrylanguage.Language
### Instruction:

Convert text to NatSQL: What languages are only used by a single country with a republic government? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.GovernmentForm = "Republic"  and  count ( country.* )  = 1  group by countrylanguage.Language

### Instruction:

Convert text to NatSQL: Find the city with the largest population that uses English. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select city.Name , city.Population from city  where  countrylanguage.Language = "English"  order by city.Population desc limit 1

### Instruction:

Convert text to NatSQL: What is the most populace city that speaks English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select city.Name , city.Population from city  where  countrylanguage.Language = "English"  order by city.Population desc limit 1

### Instruction:

Convert text to NatSQL: Find the name, population and expected life length of asian country with the largest area? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.Population , country.LifeExpectancy from country  where  country.Continent = "Asia"  order by country.SurfaceArea desc limit 1
### Instruction:

Convert text to NatSQL: What are the name, population, and life expectancy of the largest Asian country by land? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.Population , country.LifeExpectancy from country  where  country.Continent = "Asia"  order by country.SurfaceArea desc limit 1

### Instruction:

Convert text to NatSQL: What is average life expectancy in the countries where English is not the official language? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select avg ( country.LifeExpectancy )  from country  where  @.@ not in country.Name  and  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: Give the mean life expectancy of countries in which English is not the official language. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select avg ( country.LifeExpectancy )  from country  where  @.@ not in country.Name  and  countrylanguage.Language = "English"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What is the total number of people living in the nations that do not use English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  from country  where  @.@ not in country.Name  and  countrylanguage.Language = "English"
### Instruction:

Convert text to NatSQL: How many people live in countries that do not speak English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  from country  where  @.@ not in country.Name  and  countrylanguage.Language = "English"

### Instruction:

Convert text to NatSQL: What is the official language spoken in the country whose head of state is Beatrix? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.HeadOfState = "Beatrix"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What is the official language used in the country the name of whose head of state is Beatrix. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.Language from country  where  country.HeadOfState = "Beatrix"  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What is the total number of unique official languages spoken in the countries that are founded before 1930? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count (  distinct countrylanguage.Language )  from country  where  country.IndepYear < 1930  and  countrylanguage.IsOfficial = "T"
### Instruction:

Convert text to NatSQL: For the countries founded before 1930, what is the total number of distinct official languages? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count (  distinct countrylanguage.Language )  from country  where  country.IndepYear < 1930  and  countrylanguage.IsOfficial = "T"

### Instruction:

Convert text to NatSQL: What are the countries that have greater surface area than any country in Europe? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  @.@ > min ( country.SurfaceArea )   and  country.Continent = "Europe"

### Instruction:

Convert text to NatSQL: Which countries have greater area than that of any country in Europe? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  @.@ > min ( country.SurfaceArea )   and  country.Continent = "Europe"

### Instruction:

Convert text to NatSQL: What are the African countries that have a  population less than any country in Asia? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  country.Continent = "Africa"  and  @.@ < max ( country.Population )   and  country.Continent = "Asia"
### Instruction:

Convert text to NatSQL: Which African countries have a smaller population than that of any country in Asia? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  country.Continent = "Africa"  and  @.@ < min ( country.Population )   and  country.Continent = "Asia"

### Instruction:

Convert text to NatSQL: Which Asian countries have a population that is larger than any country in Africa? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  country.Continent = "Asia"  and  @.@ > max ( country.Population )   and  country.Continent = "Africa"

### Instruction:

Convert text to NatSQL: What are the Asian countries which have a population larger than that of any country in Africa? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  where  country.Continent = "Asia"  and  @.@ > min ( country.Population )   and  country.Continent = "Africa"

### Instruction:

Convert text to NatSQL: What are the country codes for countries that do not speak English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.CountryCode from countrylanguage  where  except_  @.@ is countrylanguage.*  and  countrylanguage.Language = "English"
### Instruction:

Convert text to NatSQL: Return the country codes for countries that do not speak English. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select countrylanguage.CountryCode from countrylanguage  where  except_  @.@ is countrylanguage.*  and  countrylanguage.Language = "English"

### Instruction:

Convert text to NatSQL: What are the country codes of countries where people use languages other than English? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct countrylanguage.CountryCode from countrylanguage  where  countrylanguage.Language != "English"

### Instruction:

Convert text to NatSQL: Give the country codes for countries in which people speak langauges that are not English. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct countrylanguage.CountryCode from countrylanguage  where  countrylanguage.Language != "English"

### Instruction:

Convert text to NatSQL: What are the codes of the countries that do not speak English and whose government forms are not Republic? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Code from country  where  countrylanguage.Language != "English"  and  country.GovernmentForm != "Republic"
### Instruction:

Convert text to NatSQL: Return the codes of countries that do not speak English and do not have Republics for governments. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Code from country  where  countrylanguage.Language != "English"  and  country.GovernmentForm != "Republic"

### Instruction:

Convert text to NatSQL: Which cities are in European countries where English is not the official language? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct city.Name from city  where  country.Continent = "Europe"  and  @.@ not in country.Name  and  countrylanguage.IsOfficial = "T"  and  countrylanguage.Language = "English"

### Instruction:

Convert text to NatSQL: What are the names of cities in Europe for which English is not the official language? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct city.Name from city  where  country.Continent = "Europe"  and  @.@ not in country.Name  and  countrylanguage.IsOfficial = "T"  and  countrylanguage.Language = "English"

### Instruction:

Convert text to NatSQL: Which unique cities are in Asian countries where Chinese is the official language ? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct city.Name from city  where  countrylanguage.IsOfficial = "t"  and  countrylanguage.Language = "chinese"  and  country.Continent = "asia"
### Instruction:

Convert text to NatSQL: Return the different names of cities that are in Asia and for which Chinese is the official language. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select  distinct city.Name from city  where  countrylanguage.IsOfficial = "T"  and  countrylanguage.Language = "Chinese"  and  country.Continent = "Asia"

### Instruction:

Convert text to NatSQL: What are the name, independence year, and surface area of the country with the smallest population? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.SurfaceArea , country.IndepYear from country  order by country.Population asc limit 1

### Instruction:

Convert text to NatSQL: Give the name, year of independence, and surface area of the country that has the lowest population. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.SurfaceArea , country.IndepYear from country  order by country.Population asc limit 1

### Instruction:

Convert text to NatSQL: What are the population, name and leader of the country with the largest area? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.Population , country.HeadOfState from country  order by country.SurfaceArea desc limit 1
### Instruction:

Convert text to NatSQL: Give the name, population, and head of state for the country that has the largest area. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.Population , country.HeadOfState from country  order by country.SurfaceArea desc limit 1

### Instruction:

Convert text to NatSQL: Return the country name and the numbers of languages spoken for each country that speaks at least 3 languages. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( countrylanguage.Language )  , country.Name from country  where  count ( country.* )  > 2  group by country.Name

### Instruction:

Convert text to NatSQL: What are the names of countries that speak more than 2 languages, as well as how many languages they speak? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( countrylanguage.Language )  , country.Name from country  where  count ( country.* )  > 2  group by country.Name

### Instruction:

Convert text to NatSQL: Find the number of cities in each district whose population is greater than the average population of cities? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( city.* )  , city.District from city  where  @.@ > avg ( city.Population )   group by city.District
### Instruction:

Convert text to NatSQL: How many cities in each district have a population that is above the average population across all cities? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( city.* )  , city.District from city  where  @.@ > avg ( city.Population )   group by city.District

### Instruction:

Convert text to NatSQL: Find the government form name and total population for each government form whose average life expectancy is longer than 72. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  , country.GovernmentForm from country  where  avg ( country.LifeExpectancy )  > 72  group by country.GovernmentForm

### Instruction:

Convert text to NatSQL: What are the different government forms and what is the total population of each for government forms that have an average life expectancy greater than 72? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  , country.GovernmentForm from country  where  avg ( country.LifeExpectancy )  > 72  group by country.GovernmentForm

### Instruction:

Convert text to NatSQL: Find the average life expectancy and total population for each continent where the average life expectancy is shorter than 72? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  , avg ( country.LifeExpectancy )  , country.Continent from country  where  avg ( country.LifeExpectancy )  < 72  group by country.Continent
### Instruction:

Convert text to NatSQL: What are the different continents and the total popuation and average life expectancy corresponding to each, for continents that have an average life expectancy less than 72? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select sum ( country.Population )  , avg ( country.LifeExpectancy )  , country.Continent from country  where  avg ( country.LifeExpectancy )  < 72  group by country.Continent

### Instruction:

Convert text to NatSQL: What are the names and areas of countries with the top 5 largest area? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.SurfaceArea from country  order by country.SurfaceArea desc limit 5

### Instruction:

Convert text to NatSQL: Return the names and surface areas of the 5 largest countries. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name , country.SurfaceArea from country  order by country.SurfaceArea desc limit 5

### Instruction:

Convert text to NatSQL: What are names of countries with the top 3 largest population? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  order by country.Population desc limit 3
### Instruction:

Convert text to NatSQL: Return the names of the 3 most populated countries. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  order by country.Population desc limit 3

### Instruction:

Convert text to NatSQL: What are the names of the nations with the 3 lowest populations? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  order by country.Population asc limit 3

### Instruction:

Convert text to NatSQL: Return the names of the 3 countries with the fewest people. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select country.Name from country  order by country.Population asc limit 3

### Instruction:

Convert text to NatSQL: how many countries are in Asia? | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( country.* )  from country  where  country.Continent = "Asia"

### Instruction:

Convert text to NatSQL: Count the number of countries in Asia. | city : id , name , countrycode , district , population | sqlite_sequence : name , seq | country : code , name , continent , region , surfacearea , indepyear , population , lifeexpectancy , gnp , gnpold , localname , governmentform , headofstate , capital , code2 | countrylanguage : countrycode , language , isofficial , percentage | city.countrycode = country.code | countrylanguage.countrycode = country.code | 

### Response:

select count ( country.* )  from country  where  country.Continent = "Asia"