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

Convert text to sql: Show the number of buildings with a height above the average or a number of floors above the average. | 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 _ where _ > ( select avg ( _ ) from _ ) or _ > ( select avg ( _ ) from _ ) | select count ( * ) from building where height_feet > ( select avg ( height_feet ) from building ) or floors > ( select avg ( floors ) from building )
### Instruction:

Convert text to sql: List the names of buildings with at least 200 feet of height and with at least 20 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 _ where _ | select name from building where height_feet >= 200 and floors >= 20
### Instruction:

Convert text to sql: Show the names and locations of institutions that are founded after 1990 and have the type "Private". | 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 _ where _ | select institution , location from institution where founded > 1990 and type = 'Private'
### Instruction:

Convert text to sql: Show institution types, along with the number of institutions and total enrollment for each type. | 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 ( _ ) , sum ( _ ) from _ group by _ | select type , count ( * ) , sum ( enrollment ) from institution group by type
### Instruction:

Convert text to sql: Show the institution type with the largest number of institutions. | 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 _ group by _ order by count ( _ ) desc limit _ | select type from institution group by type order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Show the institution type with an institution founded after 1990 and an institution with at least 1000 enrollment. | 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 _ where _ | select type from institution where founded > 1990 and enrollment >= 1000
### Instruction:

Convert text to sql: Show the name of buildings that do not have any institution. | 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 _ where _ not in ( select _ from _ ) | select name from building where building_id not in ( select building_id from institution )
### Instruction:

Convert text to sql: Show the names of buildings except for those having an institution founded in 2003. | 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 _ except select _ from _ where _ | select name from building except select building.name from building join institution on building.building_id = institution.building_id where institution.founded = 2003
### Instruction:

Convert text to sql: For each building, show the name of the building and the number of institutions in it. | 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 _ group by _ | select building.name , count ( * ) from building join institution on building.building_id = institution.building_id group by building.building_id
### Instruction:

Convert text to sql: Show the names and heights of buildings with at least two institutions founded after 1880. | 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 _ where _ group by _ having count ( _ ) >= _ | select building.name , building.height_feet from building join institution on building.building_id = institution.building_id where institution.founded > 1880 group by building.building_id having count ( * ) >= 2
### Instruction:

Convert text to sql: Show all the distinct institution types. | 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 distinct _ from _ | select distinct type from institution
### Instruction:

Convert text to sql: Show institution names along with the number of proteins for each institution. | 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 _ group by _ | select institution.institution , count ( * ) from institution join protein on institution.institution_id = protein.institution_id group by institution.institution_id
### Instruction:

Convert text to sql: How many proteins are associated with an institution founded after 1880 or an institution with type "Private"? | 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 _ where _ | select count ( * ) from institution join protein on institution.institution_id = protein.institution_id where institution.founded > 1880 or institution.type = 'Private'
### Instruction:

Convert text to sql: Show the protein name and the institution name. | 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 _ | select protein.protein_name , institution.institution from institution join protein on institution.institution_id = protein.institution_id
### Instruction:

Convert text to sql: How many proteins are associated with an institution in a building with at least 20 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 count ( _ ) from _ where _ | select count ( * ) from institution join protein on institution.institution_id = protein.institution_id join building on building.building_id = institution.building_id where building.floors >= 20
### Instruction:

Convert text to sql: How many institutions do not have an associated protein in our record? | 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 _ where _ not in ( select _ from _ ) | select count ( * ) from institution where institution_id not in ( select institution_id from protein )
### Instruction:

Convert text to sql: Show all the locations where no cinema has capacity over 800. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ except select _ from _ where _ | select location from cinema except select location from cinema where capacity > 800
### Instruction:

Convert text to sql: Show all the locations where some cinemas were opened in both year 2010 and year 2011. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select location from cinema where openning_year = 2010 intersect select location from cinema where openning_year = 2011
### Instruction:

Convert text to sql: How many cinema do we have? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

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

Convert text to sql: Count the number of cinemas. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

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

Convert text to sql: Show name, opening year, and capacity for each cinema. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ | select name , openning_year , capacity from cinema
### Instruction:

Convert text to sql: Show the cinema name and location for cinemas with capacity above average. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ where _ > ( select avg ( _ ) from _ ) | select name , location from cinema where capacity > ( select avg ( capacity ) from cinema )
### Instruction:

Convert text to sql: What are all the locations with a cinema? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select distinct _ from _ | select distinct location from cinema
### Instruction:

Convert text to sql: Find the distinct locations that has a cinema. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select distinct _ from _ | select distinct location from cinema
### Instruction:

Convert text to sql: Show all the cinema names and opening years in descending order of opening year. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ order by _ desc | select name , openning_year from cinema order by openning_year desc
### Instruction:

Convert text to sql: What are the name and location of the cinema with the largest capacity? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ order by _ desc limit _ | select name , location from cinema order by capacity desc limit 1
### Instruction:

Convert text to sql: Show the average, minimum, and maximum capacity for all the cinemas opened in year 2011 or later. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select avg ( _ ) , min ( _ ) , max ( _ ) from _ where _ | select avg ( capacity ) , min ( capacity ) , max ( capacity ) from cinema where openning_year >= 2011
### Instruction:

Convert text to sql: Show each location and the number of cinemas there. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select location , count ( * ) from cinema group by location
### Instruction:

Convert text to sql: What is the location with the most cinemas opened in year 2010 or later? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select location from cinema where openning_year >= 2010 group by location order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Show all the locations with at least two cinemas with capacity above 300. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select location from cinema where capacity > 300 group by location having count ( * ) >= 2
### Instruction:

Convert text to sql: Which locations have 2 or more cinemas with capacity over 300? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select location from cinema where capacity > 300 group by location having count ( * ) >= 2
### Instruction:

Convert text to sql: Show the title and director for all films. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ | select title , directed_by from film
### Instruction:

Convert text to sql: What are the title and director of each film? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ from _ | select title , directed_by from film
### Instruction:

Convert text to sql: Show all directors. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select distinct _ from _ | select distinct directed_by from film
### Instruction:

Convert text to sql: Who are all the directors? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select distinct _ from _ | select distinct directed_by from film
### Instruction:

Convert text to sql: List all directors along with the number of films directed by each director. | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select directed_by , count ( * ) from film group by directed_by
### Instruction:

Convert text to sql: What is total number of show times per dat for each cinema? | film : film_id , rank_in_series , number_in_season , title , directed_by , original_air_date , production_code | cinema : cinema_id , name , openning_year , capacity , location | schedule : cinema_id , film_id , date , show_times_per_day , price | schedule.cinema_id = cinema.cinema_id | schedule.film_id = film.film_id | 

### Response:

select _ , sum ( _ ) from _ group by _ | select cinema.name , sum ( schedule.show_times_per_day ) from schedule join cinema on schedule.cinema_id = cinema.cinema_id group by schedule.cinema_id