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

Convert text to sql: What is the name and country of origin of the artist who released a song that has "love" in its title? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.song_name like '%love%'
### Instruction:

Convert text to sql: What are the names of the artists who released a song that has the word love in its title, and where are the artists from? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ | select artist.artist_name , artist.country from artist join song on artist.artist_name = song.artist_name where song.song_name like '%love%'
### Instruction:

Convert text to sql: List the name and gender for all artists who released songs in March. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ | select artist.artist_name , artist.gender from artist join song on artist.artist_name = song.artist_name where song.releasedate like '%Mar%'
### Instruction:

Convert text to sql: What are the names and genders of all artists who released songs in the month of March? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ | select artist.artist_name , artist.gender from artist join song on artist.artist_name = song.artist_name where song.releasedate like '%Mar%'
### Instruction:

Convert text to sql: List the names of all genres in alphabetical oder, together with its ratings. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ order by _ asc | select g_name , rating from genre order by g_name asc
### Instruction:

Convert text to sql: What are the names of all genres in alphabetical order, combined with its ratings? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ order by _ asc | select g_name , rating from genre order by g_name asc
### Instruction:

Convert text to sql: Give me a list of the names of all songs ordered by their resolution. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ order by _ asc | select song_name from song order by resolution asc
### Instruction:

Convert text to sql: What are the names of all songs that are ordered by their resolution numbers? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ order by _ asc | select song_name from song order by resolution asc
### Instruction:

Convert text to sql: What are the ids of songs that are available in either mp4 format or have resolution above 720? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ union select _ from _ where _ | select f_id from files where formats = 'mp4' union select f_id from song where resolution > 720
### Instruction:

Convert text to sql: What are the ids of all songs that are available on mp4 or have a higher resolution than 720? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ union select _ from _ where _ | select f_id from files where formats = 'mp4' union select f_id from song where resolution > 720
### Instruction:

Convert text to sql: List the names of all songs that have 4 minute duration or are in English. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ union select _ from _ where _ | select song.song_name from files join song on files.f_id = song.f_id where files.duration like '4:%' union select song_name from song where languages = 'english'
### Instruction:

Convert text to sql: What are the names of all songs that are approximately 4 minutes long or are in English? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ like _ union select _ from _ where _ | select song.song_name from files join song on files.f_id = song.f_id where files.duration like '4:%' union select song_name from song where languages = 'english'
### Instruction:

Convert text to sql: What is the language used most often in the songs? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select languages from song group by languages order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What are the languages that are used most often in songs? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ group by _ order by count ( _ ) desc limit _ | select languages from song group by languages order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What is the language that was used most often in songs with resolution above 500? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select artist_name from song where resolution > 500 group by languages order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What is the name of the artist, for each language, that has the most songs with a higher resolution than 500? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ group by _ order by count ( _ ) desc limit _ | select artist_name from song where resolution > 500 group by languages order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: What are the names of artists who are Male and are from UK? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ | select artist_name from artist where country = 'UK' and gender = 'Male'
### Instruction:

Convert text to sql: What are the names of all male British artists? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ | select artist_name from artist where country = 'UK' and gender = 'Male'
### Instruction:

Convert text to sql: Find the names of songs whose genre is modern or language is English. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ | select song_name from song where genre_is = 'modern' or languages = 'english'
### Instruction:

Convert text to sql: What are the names of the songs that are modern or sung in English? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ | select song_name from song where genre_is = 'modern' or languages = 'english'
### Instruction:

Convert text to sql: Return the names of songs for which format is mp3 and resolution is below 1000. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select song.song_name from files join song on files.f_id = song.f_id where files.formats = 'mp3' intersect select song_name from song where resolution < 1000
### Instruction:

Convert text to sql: What are the names of all songs that are in mp3 format and have a resolution lower than 1000? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select song.song_name from files join song on files.f_id = song.f_id where files.formats = 'mp3' intersect select song_name from song where resolution < 1000
### Instruction:

Convert text to sql: Return the names of singers who are from UK and released an English song. | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select artist_name from artist where country = 'UK' intersect select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'english'
### Instruction:

Convert text to sql: What are the names of all singers that are from the UK and released a song in English? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select artist_name from artist where country = 'UK' intersect select artist.artist_name from artist join song on artist.artist_name = song.artist_name where song.languages = 'english'
### Instruction:

Convert text to sql: What are the average rating and resolution of songs that are in Bangla? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select avg ( _ ) , avg ( _ ) from _ where _ | select avg ( rating ) , avg ( resolution ) from song where languages = 'bangla'
### Instruction:

Convert text to sql: What is the average rating and resolution of all bangla songs? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select avg ( _ ) , avg ( _ ) from _ where _ | select avg ( rating ) , avg ( resolution ) from song where languages = 'bangla'
### Instruction:

Convert text to sql: What are the maximum and minimum resolution of songs whose duration is 3 minutes? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select max ( _ ) , min ( _ ) from _ where _ like _ | select max ( song.resolution ) , min ( song.resolution ) from files join song on files.f_id = song.f_id where files.duration like '3:%'
### Instruction:

Convert text to sql: What is the maximum and minimum resolution of all songs that are approximately 3 minutes long? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select max ( _ ) , min ( _ ) from _ where _ like _ | select max ( song.resolution ) , min ( song.resolution ) from files join song on files.f_id = song.f_id where files.duration like '3:%'
### Instruction:

Convert text to sql: What are the maximum duration and resolution of songs grouped and ordered by languages? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select max ( _ ) , max ( _ ) , _ from _ group by _ order by _ asc | select max ( files.duration ) , max ( song.resolution ) , song.languages from files join song on files.f_id = song.f_id group by song.languages order by song.languages asc
### Instruction:

Convert text to sql: What are the maximum duration and resolution of all songs, for each language, ordered alphabetically by language? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select max ( _ ) , max ( _ ) , _ from _ group by _ order by _ asc | select max ( files.duration ) , max ( song.resolution ) , song.languages from files join song on files.f_id = song.f_id group by song.languages order by song.languages asc
### Instruction:

Convert text to sql: What are the shortest duration and lowest rating of songs grouped by genre and ordered by genre? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select min ( _ ) , min ( _ ) , _ from _ group by _ order by _ asc | select min ( files.duration ) , min ( song.rating ) , song.genre_is from files join song on files.f_id = song.f_id group by song.genre_is order by song.genre_is asc
### Instruction:

Convert text to sql: What is the shortest and most poorly rated song for each genre, ordered alphabetically by genre? | genre : g_name , rating , most_popular_in | artist : artist_name , country , gender , preferred_genre | files : f_id , artist_name , file_size , duration , formats | song : song_name , artist_name , country , f_id , genre_is , rating , languages , releasedate , resolution | artist.preferred_genre = genre.g_name | files.artist_name = artist.artist_name | song.genre_is = genre.g_name | song.f_id = files.f_id | song.artist_name = artist.artist_name | 

### Response:

select min ( _ ) , min ( _ ) , _ from _ group by _ order by _ asc | select min ( files.duration ) , min ( song.rating ) , song.genre_is from files join song on files.f_id = song.f_id group by song.genre_is order by song.genre_is asc