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

Convert text to sql: Show the locations of schools that have more than 1 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 school.location from player join school on player.school_id = school.school_id group by player.school_id having count ( * ) > 1

### Instruction:

Convert text to sql: Which schools have more than 1 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 school.location from player join school on player.school_id = school.school_id group by player.school_id having count ( * ) > 1

### Instruction:

Convert text to sql: Show the denomination of the school that has the most players. | 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 school.denomination from player join school on player.school_id = school.school_id group by player.school_id order by count ( * ) desc limit 1

### Instruction:

Convert text to sql: What is the denomination of the school the most players belong to? | 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 school.denomination from player join school on player.school_id = school.school_id group by player.school_id order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Show locations and nicknames 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 school.location , school_details.nickname from school join school_details on school.school_id = school_details.school_id

### 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 district_name from district order by city_area asc limit 1