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

Convert text to sql: What are the names of wrestlers who have never been eliminated? | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select name from wrestler where wrestler_id not in ( select wrestler_id from elimination )
### Instruction:

Convert text to sql: Show the teams that have both wrestlers eliminated by "Orton" and wrestlers eliminated by "Benjamin". | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select team from elimination where eliminated_by = 'Orton' intersect select team from elimination where eliminated_by = 'Benjamin'
### Instruction:

Convert text to sql: What are the teams that have both wrestlers eliminated by Orton and wrestlers eliminated by Benjamin? | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select team from elimination where eliminated_by = 'Orton' intersect select team from elimination where eliminated_by = 'Benjamin'
### Instruction:

Convert text to sql: What is the number of distinct teams that suffer elimination? | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct team ) from elimination
### Instruction:

Convert text to sql: How many different teams have had eliminated wrestlers? | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct team ) from elimination
### Instruction:

Convert text to sql: Show the times of elimination by "Punk" or "Orton". | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select _ from _ where _ | select time from elimination where eliminated_by = 'Punk' or eliminated_by = 'Orton'
### Instruction:

Convert text to sql: What are the times of elimination for any instances in which the elimination was done by Punk or Orton? | wrestler : wrestler_id , name , reign , days_held , location , event | elimination : elimination_id , wrestler_id , team , eliminated_by , elimination_move , time | elimination.wrestler_id = wrestler.wrestler_id | 

### Response:

select _ from _ where _ | select time from elimination where eliminated_by = 'Punk' or eliminated_by = 'Orton'
### Instruction:

Convert text to sql: How many schools are there? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from school
### Instruction:

Convert text to sql: Count the number of schools. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from school
### Instruction:

Convert text to sql: Show all school names in alphabetical order. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ order by _ asc | select school_name from school order by school_name asc
### Instruction:

Convert text to sql: List the name, location, mascot for all schools. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ | select school_name , location , mascot from school
### Instruction:

Convert text to sql: What are the total and average enrollment of all schools? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select sum ( _ ) , avg ( _ ) from _ | select sum ( enrollment ) , avg ( enrollment ) from school
### Instruction:

Convert text to sql: What are the mascots for schools with enrollments above the average? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ > ( select avg ( _ ) from _ ) | select mascot from school where enrollment > ( select avg ( enrollment ) from school )
### Instruction:

Convert text to sql: List the name of the school with the smallest enrollment. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ order by _ asc limit _ | select school_name from school order by enrollment asc limit 1
### Instruction:

Convert text to sql: Show the average, maximum, minimum enrollment of all schools. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select avg ( _ ) , max ( _ ) , min ( _ ) from _ | select avg ( enrollment ) , max ( enrollment ) , min ( enrollment ) from school
### Instruction:

Convert text to sql: Show each county along with the number of schools and total enrollment in each county. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ , count ( _ ) , sum ( _ ) from _ group by _ | select county , count ( * ) , sum ( enrollment ) from school group by county
### Instruction:

Convert text to sql: How many donors have endowment for school named "Glenn"? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( distinct _ ) from _ where _ | select count ( distinct endowment.donator_name ) from endowment join school on endowment.school_id = school.school_id where school.school_name = 'Glenn'
### Instruction:

Convert text to sql: List each donator name and the amount of endowment in descending order of the amount of endowment. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ , sum ( _ ) from _ group by _ order by sum ( _ ) desc | select donator_name , sum ( amount ) from endowment group by donator_name order by sum ( amount ) desc
### Instruction:

Convert text to sql: List the names of the schools without any endowment. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select school_name from school where school_id not in ( select school_id from endowment )
### Instruction:

Convert text to sql: List all the names of schools with an endowment amount smaller than or equal to 10. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ group by _ having sum ( _ ) <= _ | select school.school_name from endowment join school on endowment.school_id = school.school_id group by endowment.school_id having sum ( endowment.amount ) <= 10
### Instruction:

Convert text to sql: Show the names of donors who donated to both school "Glenn" and "Triton." | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select endowment.donator_name from endowment join school on endowment.school_id = school.school_id where school.school_name = 'Glenn' intersect select endowment.donator_name from endowment join school on endowment.school_id = school.school_id where school.school_name = 'Triton'
### Instruction:

Convert text to sql: Show the names of all the donors except those whose donation amount less than 9. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ except select _ from _ where _ | select donator_name from endowment except select donator_name from endowment where amount < 9
### Instruction:

Convert text to sql: List the amount and donor name for the largest amount of donation. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ order by _ desc limit _ | select amount , donator_name from endowment order by amount desc limit 1
### Instruction:

Convert text to sql: How many budgets are above 3000 in year 2001 or before? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from _ where _ | select count ( * ) from budget where budgeted > 3000 and year <= 2001
### Instruction:

Convert text to sql: Count the number of budgets in year 2001 or before whose budgeted amount is greater than 3000 | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from _ where _ | select count ( * ) from budget where budgeted > 3000 and year <= 2001
### Instruction:

Convert text to sql: Show each school name, its budgeted amount, and invested amount in year 2002 or after. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ | select school.school_name , budget.budgeted , budget.invested from budget join school on budget.school_id = school.school_id where budget.year >= 2002
### Instruction:

Convert text to sql: Show all donor names. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select distinct _ from _ | select distinct donator_name from endowment
### Instruction:

Convert text to sql: How many budget record has a budget amount smaller than the invested amount? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from _ where _ | select count ( * ) from budget where budgeted < invested
### Instruction:

Convert text to sql: What is the total budget amount for school "Glenn" in all years? | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select sum ( _ ) from _ where _ | select sum ( budget.budgeted ) from budget join school on budget.school_id = school.school_id where school.school_name = 'Glenn'
### Instruction:

Convert text to sql: Show the names of schools with a total budget amount greater than 100 or a total endowment greater than 10. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ group by _ having sum ( _ ) > _ or sum ( _ ) > _ | select school.school_name from budget join school on budget.school_id = school.school_id join endowment on school.school_id = endowment.school_id group by school.school_name having sum ( budget.budgeted ) > 100 or sum ( endowment.amount ) > 10
### Instruction:

Convert text to sql: Find the names of schools that have more than one donator with donation amount above 8.5. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ group by _ having count ( _ ) > _ | select school.school_name from endowment join school on endowment.school_id = school.school_id where endowment.amount > 8.5 group by endowment.school_id having count ( * ) > 1
### Instruction:

Convert text to sql: Find the number of schools that have more than one donator whose donation amount is less than 8.5. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select count ( _ ) from ( select _ from _ where _ group by _ having count ( _ ) > _ ) | select count ( * ) from ( select * from endowment where amount > 8.5 group by school_id having count ( * ) > 1 )
### Instruction:

Convert text to sql: List the name, IHSAA Football Class, and Mascot of the schools that have more than 6000 of budgeted amount or were founded before 2003, in the order of percent of total invested budget and total budgeted budget. | school : school_id , school_name , location , mascot , enrollment , ihsaa_class , ihsaa_football_class , county | budget : school_id , year , budgeted , total_budget_percent_budgeted , invested , total_budget_percent_invested , budget_invested_percent | endowment : endowment_id , school_id , donator_name , amount | budget.school_id = school.school_id | endowment.school_id = school.school_id | 

### Response:

select _ from _ where _ order by _ | select school.school_name , school.mascot , school.ihsaa_football_class from school join budget on school.school_id = budget.school_id where budgeted > 6000 or year < 2003 order by budget.total_budget_percent_invested , budget.total_budget_percent_budgeted
### Instruction:

Convert text to sql: How many buildings are there? | building : building_id , name , street_address , years_as_tallest , height_feet , floors | institution : institution_id , institution , location , founded , type , enrollment , team , primary_conference , building_id | protein : common_name , protein_name , divergence_from_human_lineage , accession_number , sequence_length , sequence_identity_to_human_protein , institution_id | institution.building_id = building.building_id | protein.institution_id = institution.institution_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from building
### Instruction:

Convert text to sql: Show the name, street address, and number of floors for all buildings ordered by the number of floors. | building : building_id , name , street_address , years_as_tallest , height_feet , floors | institution : institution_id , institution , location , founded , type , enrollment , team , primary_conference , building_id | protein : common_name , protein_name , divergence_from_human_lineage , accession_number , sequence_length , sequence_identity_to_human_protein , institution_id | institution.building_id = building.building_id | protein.institution_id = institution.institution_id | 

### Response:

select _ from _ order by _ asc | select name , street_address , floors from building order by floors asc
### Instruction:

Convert text to sql: What is the name of the tallest building? | building : building_id , name , street_address , years_as_tallest , height_feet , floors | institution : institution_id , institution , location , founded , type , enrollment , team , primary_conference , building_id | protein : common_name , protein_name , divergence_from_human_lineage , accession_number , sequence_length , sequence_identity_to_human_protein , institution_id | institution.building_id = building.building_id | protein.institution_id = institution.institution_id | 

### Response:

select _ from _ order by _ desc limit _ | select name from building order by height_feet desc limit 1
### Instruction:

Convert text to sql: What are the average, maximum, and minimum number of floors for all buildings? | building : building_id , name , street_address , years_as_tallest , height_feet , floors | institution : institution_id , institution , location , founded , type , enrollment , team , primary_conference , building_id | protein : common_name , protein_name , divergence_from_human_lineage , accession_number , sequence_length , sequence_identity_to_human_protein , institution_id | institution.building_id = building.building_id | protein.institution_id = institution.institution_id | 

### Response:

select avg ( _ ) , max ( _ ) , min ( _ ) from _ | select avg ( floors ) , max ( floors ) , min ( floors ) from building