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

Convert text to sql: Which city has the highest temperature in February? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id order by temperature.feb desc limit 1

### Instruction:

Convert text to sql: In February, which city marks the highest temperature? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id order by temperature.feb desc limit 1

### Instruction:

Convert text to sql: Give me a list of cities whose temperature in March is lower than that in July or higher than that in Oct? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.jul or temperature.mar > temperature.oct

### Instruction:

Convert text to sql: Which cities' temperature in March is lower than that in July or higher than that in Oct? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.jul or temperature.mar > temperature.oct
### Instruction:

Convert text to sql: Give me a list of cities whose temperature in Mar is lower than that in July and which have also served as host cities? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.jul intersect select city.city from city join hosting_city on city.city_id = hosting_city.host_city

### Instruction:

Convert text to sql: Which cities have lower temperature in March than in July and have been once host cities? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.jul intersect select city.city from city join hosting_city on city.city_id = hosting_city.host_city

### Instruction:

Convert text to sql: Give me a list of cities whose temperature in Mar is lower than that in Dec and which have never been host cities. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.dec except select city.city from city join hosting_city on city.city_id = hosting_city.host_city

### Instruction:

Convert text to sql: Which cities have lower temperature in March than in Dec and have never served as host cities? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.mar < temperature.dec except select city.city from city join hosting_city on city.city_id = hosting_city.host_city
### Instruction:

Convert text to sql: Give me a list of cities whose temperature in Feb is higher than that in Jun or cities that were once host cities? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.feb > temperature.jun union select city.city from city join hosting_city on city.city_id = hosting_city.host_city

### Instruction:

Convert text to sql: Which cities have higher temperature in Feb than in Jun or have once served as host cities? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.city from city join temperature on city.city_id = temperature.city_id where temperature.feb > temperature.jun union select city.city from city join hosting_city on city.city_id = hosting_city.host_city

### Instruction:

Convert text to sql: Please give me a list of cities whose regional population is over 10000000. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city from city where regional_population > 10000000

### Instruction:

Convert text to sql: Which cities have regional population above 10000000? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city from city where regional_population > 10000000
### Instruction:

Convert text to sql: Please give me a list of cities whose regional population is over 8000000 or under 5000000. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city from city where regional_population > 10000000 union select city from city where regional_population < 5000000

### Instruction:

Convert text to sql: Which cities have regional population above 8000000 or below 5000000? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city from city where regional_population > 10000000 union select city from city where regional_population < 5000000

### Instruction:

Convert text to sql: Find the number of matches in different competitions. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select count ( * ) , competition from match group by competition

### Instruction:

Convert text to sql: For each competition, count the number of matches. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select count ( * ) , competition from match group by competition

### Instruction:

Convert text to sql: List venues of all matches in the order of their dates starting from the most recent one. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select venue from match order by date desc
### Instruction:

Convert text to sql: What are the venues of all the matches? Sort them in the descending order of match date. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select venue from match order by date desc

### Instruction:

Convert text to sql: what is the GDP of the city with the largest population. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select gdp from city order by regional_population desc limit 1

### Instruction:

Convert text to sql: Find the GDP of the city with the largest regional population. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select gdp from city order by regional_population desc limit 1

### Instruction:

Convert text to sql: What are the GDP and population of the city that already served as a host more than once? | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.gdp , city.regional_population from city join hosting_city on city.city_id = hosting_city.host_city group by hosting_city.host_city having count ( * ) > 1

### Instruction:

Convert text to sql: Which cities have served as host cities more than once? Return me their GDP and population. | city : city_id , city , hanzi , hanyu_pinyin , regional_population , gdp | match : match_id , date , venue , score , result , competition | temperature : city_id , jan , feb , mar , apr , jun , jul , aug , sep , oct , nov , dec | hosting_city : year , match_id , host_city | temperature.city_id = city.city_id | hosting_city.match_id = match.match_id | hosting_city.host_city = city.city_id | 

### Response:

select city.gdp , city.regional_population from city join hosting_city on city.city_id = hosting_city.host_city group by hosting_city.host_city having count ( * ) > 1
### Instruction:

Convert text to sql: List every individual's first name, middle name and last name in alphabetical order by last name. | addresses : address_id , line_1_number_building , town_city , zip_postcode , state_province_county , country | services : service_id , service_type_code , service_name , service_descriptio | forms : form_id , form_type_code , service_id , form_number , form_name , form_description | individuals : individual_id , individual_first_name , individual_middle_name , inidividual_phone , individual_email , individual_address , individual_last_name | organizations : organization_id , date_formed , organization_name , uk_vat_number | parties : party_id , payment_method_code , party_phone , party_email | organization_contact_individuals : individual_id , organization_id , date_contact_from , date_contact_to | party_addresses : party_id , address_id , date_address_from , address_type_code , date_address_to | party_forms : party_id , form_id , date_completion_started , form_status_code , date_fully_completed | party_services : booking_id , customer_id , service_id , service_datetime , booking_made_date | forms.service_id = services.service_id | organization_contact_individuals.individual_id = individuals.individual_id | organization_contact_individuals.organization_id = organizations.organization_id | party_addresses.party_id = parties.party_id | party_addresses.address_id = addresses.address_id | party_forms.form_id = forms.form_id | party_forms.party_id = parties.party_id | party_services.customer_id = parties.party_id | party_services.service_id = services.service_id | 

### Response:

select individual_first_name , individual_middle_name , individual_last_name from individuals order by individual_last_name asc
### Instruction:

Convert text to sql: What are the first, middle, and last names of all individuals, ordered by last name? | addresses : address_id , line_1_number_building , town_city , zip_postcode , state_province_county , country | services : service_id , service_type_code , service_name , service_descriptio | forms : form_id , form_type_code , service_id , form_number , form_name , form_description | individuals : individual_id , individual_first_name , individual_middle_name , inidividual_phone , individual_email , individual_address , individual_last_name | organizations : organization_id , date_formed , organization_name , uk_vat_number | parties : party_id , payment_method_code , party_phone , party_email | organization_contact_individuals : individual_id , organization_id , date_contact_from , date_contact_to | party_addresses : party_id , address_id , date_address_from , address_type_code , date_address_to | party_forms : party_id , form_id , date_completion_started , form_status_code , date_fully_completed | party_services : booking_id , customer_id , service_id , service_datetime , booking_made_date | forms.service_id = services.service_id | organization_contact_individuals.individual_id = individuals.individual_id | organization_contact_individuals.organization_id = organizations.organization_id | party_addresses.party_id = parties.party_id | party_addresses.address_id = addresses.address_id | party_forms.form_id = forms.form_id | party_forms.party_id = parties.party_id | party_services.customer_id = parties.party_id | party_services.service_id = services.service_id | 

### Response:

select individual_first_name , individual_middle_name , individual_last_name from individuals order by individual_last_name asc
### Instruction:

Convert text to sql: List all the types of forms. | addresses : address_id , line_1_number_building , town_city , zip_postcode , state_province_county , country | services : service_id , service_type_code , service_name , service_descriptio | forms : form_id , form_type_code , service_id , form_number , form_name , form_description | individuals : individual_id , individual_first_name , individual_middle_name , inidividual_phone , individual_email , individual_address , individual_last_name | organizations : organization_id , date_formed , organization_name , uk_vat_number | parties : party_id , payment_method_code , party_phone , party_email | organization_contact_individuals : individual_id , organization_id , date_contact_from , date_contact_to | party_addresses : party_id , address_id , date_address_from , address_type_code , date_address_to | party_forms : party_id , form_id , date_completion_started , form_status_code , date_fully_completed | party_services : booking_id , customer_id , service_id , service_datetime , booking_made_date | forms.service_id = services.service_id | organization_contact_individuals.individual_id = individuals.individual_id | organization_contact_individuals.organization_id = organizations.organization_id | party_addresses.party_id = parties.party_id | party_addresses.address_id = addresses.address_id | party_forms.form_id = forms.form_id | party_forms.party_id = parties.party_id | party_services.customer_id = parties.party_id | party_services.service_id = services.service_id | 

### Response:

select distinct form_type_code from forms
### Instruction:

Convert text to sql: What are the different types of forms? | addresses : address_id , line_1_number_building , town_city , zip_postcode , state_province_county , country | services : service_id , service_type_code , service_name , service_descriptio | forms : form_id , form_type_code , service_id , form_number , form_name , form_description | individuals : individual_id , individual_first_name , individual_middle_name , inidividual_phone , individual_email , individual_address , individual_last_name | organizations : organization_id , date_formed , organization_name , uk_vat_number | parties : party_id , payment_method_code , party_phone , party_email | organization_contact_individuals : individual_id , organization_id , date_contact_from , date_contact_to | party_addresses : party_id , address_id , date_address_from , address_type_code , date_address_to | party_forms : party_id , form_id , date_completion_started , form_status_code , date_fully_completed | party_services : booking_id , customer_id , service_id , service_datetime , booking_made_date | forms.service_id = services.service_id | organization_contact_individuals.individual_id = individuals.individual_id | organization_contact_individuals.organization_id = organizations.organization_id | party_addresses.party_id = parties.party_id | party_addresses.address_id = addresses.address_id | party_forms.form_id = forms.form_id | party_forms.party_id = parties.party_id | party_services.customer_id = parties.party_id | party_services.service_id = services.service_id | 

### Response:

select distinct form_type_code from forms
### Instruction:

Convert text to sql: Find the name of the most popular party form. | addresses : address_id , line_1_number_building , town_city , zip_postcode , state_province_county , country | services : service_id , service_type_code , service_name , service_descriptio | forms : form_id , form_type_code , service_id , form_number , form_name , form_description | individuals : individual_id , individual_first_name , individual_middle_name , inidividual_phone , individual_email , individual_address , individual_last_name | organizations : organization_id , date_formed , organization_name , uk_vat_number | parties : party_id , payment_method_code , party_phone , party_email | organization_contact_individuals : individual_id , organization_id , date_contact_from , date_contact_to | party_addresses : party_id , address_id , date_address_from , address_type_code , date_address_to | party_forms : party_id , form_id , date_completion_started , form_status_code , date_fully_completed | party_services : booking_id , customer_id , service_id , service_datetime , booking_made_date | forms.service_id = services.service_id | organization_contact_individuals.individual_id = individuals.individual_id | organization_contact_individuals.organization_id = organizations.organization_id | party_addresses.party_id = parties.party_id | party_addresses.address_id = addresses.address_id | party_forms.form_id = forms.form_id | party_forms.party_id = parties.party_id | party_services.customer_id = parties.party_id | party_services.service_id = services.service_id | 

### Response:

select forms.form_name from forms join party_forms on forms.form_id = party_forms.form_id group by party_forms.form_id order by count ( * ) desc limit 1