richardr1126/spider-skeleton-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: What are the location and nickname of each school? | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ | select school.location , school_details.nickname from school join school_details on school.school_id = school_details.school_id
### Instruction:

Convert text to sql: Please show different denominations and the corresponding number of schools. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select denomination , count ( * ) from school group by denomination
### Instruction:

Convert text to sql: For each denomination, return the denomination and the count of schools with that denomination. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select denomination , count ( * ) from school group by denomination
### Instruction:

Convert text to sql: Please show different denominations and the corresponding number of schools in descending order. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) desc | select denomination , count ( * ) from school group by denomination order by count ( * ) desc
### Instruction:

Convert text to sql: Order denominations in descending order of the count of schools with the denomination. Return each denomination with the count of schools. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) desc | select denomination , count ( * ) from school group by denomination order by count ( * ) desc
### Instruction:

Convert text to sql: List the school color of the school that has the largest enrollment. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ order by _ desc limit _ | select school_colors from school order by enrollment desc limit 1
### Instruction:

Convert text to sql: What is the school color of the school with the largest enrollment? | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ order by _ desc limit _ | select school_colors from school order by enrollment desc limit 1
### Instruction:

Convert text to sql: List the locations of schools that do not have any player. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select location from school where school_id not in ( select school_id from player )
### Instruction:

Convert text to sql: Which schools do not have any player? Give me the school locations. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select location from school where school_id not in ( select school_id from player )
### Instruction:

Convert text to sql: Show the denomination shared by schools founded before 1890 and schools founded after 1900 | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select denomination from school where founded < 1890 intersect select denomination from school where founded > 1900
### Instruction:

Convert text to sql: What are the denominations used by both schools founded before 1890 and schools founded  after 1900? | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select denomination from school where founded < 1890 intersect select denomination from school where founded > 1900
### Instruction:

Convert text to sql: Show the nicknames of schools that are not in division 1. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ | select nickname from school_details where division != 'Division 1'
### Instruction:

Convert text to sql: What are the nicknames of schools whose division is not 1? | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ where _ | select nickname from school_details where division != 'Division 1'
### Instruction:

Convert text to sql: Show the denomination shared by more than one school. | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select denomination from school group by denomination having count ( * ) > 1
### Instruction:

Convert text to sql: What are the denomination more than one school have? | school : school_id , school , location , enrollment , founded , denomination , boys_or_girls , day_or_boarding , year_entered_competition , school_colors | school_details : school_id , nickname , colors , league , class , division | school_performance : school_id , school_year , class_a , class_aa | player : player_id , player , team , age , position , school_id | school_details.school_id = school.school_id | school_performance.school_id = school.school_id | player.school_id = school.school_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select denomination from school group by denomination having count ( * ) > 1
### Instruction:

Convert text to sql: Find all the distinct district names ordered by city area in descending. | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select distinct _ from _ order by _ desc | select distinct district_name from district order by city_area desc
### Instruction:

Convert text to sql: What are the different district names in order of descending city area? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select distinct _ from _ order by _ desc | select distinct district_name from district order by city_area desc
### Instruction:

Convert text to sql: Find the list of page size which have more than 3 product listed | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select max_page_size from product group by max_page_size having count ( * ) > 3
### Instruction:

Convert text to sql: What is the maximum page size for everything that has more than 3 products listed? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ group by _ having count ( _ ) > _ | select max_page_size from product group by max_page_size having count ( * ) > 3
### Instruction:

Convert text to sql: Find the name and population of district with population between 200000 and 2000000 | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ where _ between _ and _ | select district_name , city_population from district where city_population between 200000 and 2000000
### Instruction:

Convert text to sql: What are the district names and city populations for all districts that between 200,000 and 2,000,000 residents? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ where _ between _ and _ | select district_name , city_population from district where city_population between 200000 and 2000000
### Instruction:

Convert text to sql: Find the name all districts with city area greater than 10 or population larger than 100000 | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ where _ | select district_name from district where city_area > 10 or city_population > 100000
### Instruction:

Convert text to sql: What are the names of all districts with a city area greater than 10 or have more than 100000 people living there? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ where _ | select district_name from district where city_area > 10 or city_population > 100000
### Instruction:

Convert text to sql: Which district has the largest population? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ order by _ desc limit _ | select district_name from district order by city_population desc limit 1
### Instruction:

Convert text to sql: What is the name of the district with the most residents? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ order by _ desc limit _ | select district_name from district order by city_population desc limit 1
### Instruction:

Convert text to sql: Which district has the least area? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ order by _ asc limit _ | select district_name from district order by city_area asc limit 1
### Instruction:

Convert text to sql: What is the name of the district with the smallest area? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ order by _ asc limit _ | select district_name from district order by city_area asc limit 1
### Instruction:

Convert text to sql: Find the total population of the top 3 districts with the largest area. | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select sum ( _ ) from _ order by _ desc limit _ | select sum ( city_population ) from district order by city_area desc limit 3
### Instruction:

Convert text to sql: What is the total number of residents for the districts with the 3 largest areas? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select sum ( _ ) from _ order by _ desc limit _ | select sum ( city_population ) from district order by city_area desc limit 3
### Instruction:

Convert text to sql: Find all types of store and number of them. | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select type , count ( * ) from store group by type
### Instruction:

Convert text to sql: For each type of store, how many of them are there? | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select type , count ( * ) from store group by type
### Instruction:

Convert text to sql: Find the names of all stores in Khanewal District. | product : product_id , product , dimensions , dpi , pages_per_minute_color , max_page_size , interface | store : store_id , store_name , type , area_size , number_of_product_category , ranking | district : district_id , district_name , headquartered_city , city_population , city_area | store_product : store_id , product_id | store_district : store_id , district_id | store_product.store_id = store.store_id | store_district.district_id = district.district_id | store_district.store_id = store.store_id | 

### Response:

select _ from _ where _ | select store.store_name from store join store_district on store.store_id = store_district.store_id join district on store_district.district_id = district.district_id where district.district_name = 'Khanewal District'