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

Convert text to sql: Show minimum, maximum, and average market value for all companies. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select min ( _ ) , max ( _ ) , avg ( _ ) from _ | select min ( market_value ) , max ( market_value ) , avg ( market_value ) from company
### Instruction:

Convert text to sql: What is the minimum, maximum, and average market value for every company? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select min ( _ ) , max ( _ ) , avg ( _ ) from _ | select min ( market_value ) , max ( market_value ) , avg ( market_value ) from company
### Instruction:

Convert text to sql: Show all main industry for all companies. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select distinct _ from _ | select distinct main_industry from company
### Instruction:

Convert text to sql: What are the different main industries for all companies? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select distinct _ from _ | select distinct main_industry from company
### Instruction:

Convert text to sql: List all headquarters and the number of companies in each headquarter. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select headquarters , count ( * ) from company group by headquarters
### Instruction:

Convert text to sql: For each headquarter, what are the headquarter and how many companies are centered there? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select headquarters , count ( * ) from company group by headquarters
### Instruction:

Convert text to sql: Show all main industry and total market value in each industry. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , sum ( _ ) from _ group by _ | select main_industry , sum ( market_value ) from company group by main_industry
### Instruction:

Convert text to sql: What are the main indstries and total market value for each industry? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , sum ( _ ) from _ group by _ | select main_industry , sum ( market_value ) from company group by main_industry
### Instruction:

Convert text to sql: List the main industry with highest total market value and its number of companies. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by sum ( _ ) desc limit _ | select main_industry , count ( * ) from company group by main_industry order by sum ( market_value ) desc limit 1
### Instruction:

Convert text to sql: For each main industry, what is the total number of companies for the industry with the highest total market value? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by sum ( _ ) desc limit _ | select main_industry , count ( * ) from company group by main_industry order by sum ( market_value ) desc limit 1
### Instruction:

Convert text to sql: Show headquarters with at least two companies in the banking industry. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select headquarters from company where main_industry = 'Banking' group by headquarters having count ( * ) >= 2
### Instruction:

Convert text to sql: What are the headquarters with at least two companies in the banking industry? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ group by _ having count ( _ ) >= _ | select headquarters from company where main_industry = 'Banking' group by headquarters having count ( * ) >= 2
### Instruction:

Convert text to sql: Show gas station id, location, and manager_name for all gas stations ordered by open year. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ order by _ asc | select station_id , location , manager_name from gas_station order by open_year asc
### Instruction:

Convert text to sql: What are the gas station ids, locations, and manager names for the gas stations ordered by opening year? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ order by _ asc | select station_id , location , manager_name from gas_station order by open_year asc
### Instruction:

Convert text to sql: How many gas station are opened between 2000 and 2005? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select count ( _ ) from _ where _ between _ and _ | select count ( * ) from gas_station where open_year between 2000 and 2005
### Instruction:

Convert text to sql: What is the total number of gas stations that opened between 2000 and 2005? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select count ( _ ) from _ where _ between _ and _ | select count ( * ) from gas_station where open_year between 2000 and 2005
### Instruction:

Convert text to sql: Show all locations and the number of gas stations in each location ordered by the count. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) asc | select location , count ( * ) from gas_station group by location order by count ( * ) asc
### Instruction:

Convert text to sql: For each location, how many gas stations are there in order? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) asc | select location , count ( * ) from gas_station group by location order by count ( * ) asc
### Instruction:

Convert text to sql: Show all headquarters with both a company in banking industry and a company in Oil and gas. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select headquarters from company where main_industry = 'Banking' intersect select headquarters from company where main_industry = 'Oil and gas'
### Instruction:

Convert text to sql: What are the headquarters that have both a company in the banking and 'oil and gas' industries? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select headquarters from company where main_industry = 'Banking' intersect select headquarters from company where main_industry = 'Oil and gas'
### Instruction:

Convert text to sql: Show all headquarters without a company in banking industry. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ except select _ from _ where _ | select headquarters from company except select headquarters from company where main_industry = 'Banking'
### Instruction:

Convert text to sql: What are the headquarters without companies that are in the banking industry? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ except select _ from _ where _ | select headquarters from company except select headquarters from company where main_industry = 'Banking'
### Instruction:

Convert text to sql: Show the company name with the number of gas station. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select company.company , count ( * ) from station_company join company on station_company.company_id = company.company_id group by station_company.company_id
### Instruction:

Convert text to sql: For each company id, what are the companies and how many gas stations does each one operate? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ , count ( _ ) from _ group by _ | select company.company , count ( * ) from station_company join company on station_company.company_id = company.company_id group by station_company.company_id
### Instruction:

Convert text to sql: Show company name and main industry without a gas station. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select company , main_industry from company where company_id not in ( select company_id from station_company )
### Instruction:

Convert text to sql: What are the main industries of the companies without gas stations and what are the companies? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ not in ( select _ from _ ) | select company , main_industry from company where company_id not in ( select company_id from station_company )
### Instruction:

Convert text to sql: Show the manager name for gas stations belonging to the ExxonMobil company. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ | select gas_station.manager_name from station_company join company on station_company.company_id = company.company_id join gas_station on station_company.station_id = gas_station.station_id where company.company = 'ExxonMobil'
### Instruction:

Convert text to sql: What are the names of the managers for gas stations that are operated by the ExxonMobil company? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ | select gas_station.manager_name from station_company join company on station_company.company_id = company.company_id join gas_station on station_company.station_id = gas_station.station_id where company.company = 'ExxonMobil'
### Instruction:

Convert text to sql: Show all locations where a gas station for company with market value greater than 100 is located. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ | select gas_station.location from station_company join company on station_company.company_id = company.company_id join gas_station on station_company.station_id = gas_station.station_id where company.market_value > 100
### Instruction:

Convert text to sql: What are the locations that have gas stations owned by a company with a market value greater than 100? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ | select gas_station.location from station_company join company on station_company.company_id = company.company_id join gas_station on station_company.station_id = gas_station.station_id where company.market_value > 100
### Instruction:

Convert text to sql: Show the manager name with most number of gas stations opened after 2000. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select manager_name from gas_station where open_year > 2000 group by manager_name order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What is the name of the manager with the most gas stations that opened after 2000? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select manager_name from gas_station where open_year > 2000 group by manager_name order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: order all gas station locations by the opening year. | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ order by _ asc | select location from gas_station order by open_year asc
### Instruction:

Convert text to sql: What are the locations of all the gas stations ordered by opening year? | company : company_id , rank , company , headquarters , main_industry , sales_billion , profits_billion , assets_billion , market_value | gas_station : station_id , open_year , location , manager_name , vice_manager_name , representative_name | station_company : station_id , company_id , rank_of_the_year | station_company.company_id = company.company_id | station_company.station_id = gas_station.station_id | 

### Response:

select _ from _ order by _ asc | select location from gas_station order by open_year asc