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

Convert text to sql: What are the names of all playlists that have more than 100 tracks? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select playlists.name from playlist_tracks join playlists on playlists.id = playlist_tracks.playlist_id group by playlist_tracks.playlist_id having count ( playlist_tracks.track_id ) > 100

### Instruction:

Convert text to sql: List all tracks bought by customer Daan Peeters. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join invoice_lines on tracks.id = invoice_lines.track_id join invoices on invoices.id = invoice_lines.invoice_id join customers on customers.id = invoices.customer_id where customers.first_name = 'Daan' and customers.last_name = 'Peeters'
### Instruction:

Convert text to sql: What are the tracks that Dean Peeters bought? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join invoice_lines on tracks.id = invoice_lines.track_id join invoices on invoices.id = invoice_lines.invoice_id join customers on customers.id = invoices.customer_id where customers.first_name = 'Daan' and customers.last_name = 'Peeters'

### Instruction:

Convert text to sql: How much is the track Fast As a Shark? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select unit_price from tracks where name = 'Fast As a Shark'
### Instruction:

Convert text to sql: What is the unit price of the tune "Fast As a Shark"? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select unit_price from tracks where name = 'Fast As a Shark'

### Instruction:

Convert text to sql: Find the name of tracks which are in Movies playlist but not in music playlist. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Movies' except select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Music'
### Instruction:

Convert text to sql: What are the names of all tracks that are on the Movies playlist but not in the music playlist? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Movies' except select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Music'
### Instruction:

Convert text to sql: Find the name of tracks which are in both Movies and music playlists. | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Movies' intersect select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Music'
### Instruction:

Convert text to sql: What are the names of all the tracks that are in both the Movies and music playlists? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Movies' intersect select tracks.name from tracks join playlist_tracks on tracks.id = playlist_tracks.track_id join playlists on playlist_tracks.playlist_id = playlists.id where playlists.name = 'Music'

### Instruction:

Convert text to sql: Find number of tracks in each genre? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select count ( * ) , genres.name from genres join tracks on genres.id = tracks.genre_id group by genres.name
### Instruction:

Convert text to sql: How many tracks are in each genre? | artists : id , name | sqlite_sequence : name , seq | albums : id , title , artist_id | employees : id , last_name , first_name , title , reports_to , birth_date , hire_date , address , city , state , country , postal_code , phone , fax , email | customers : id , first_name , last_name , company , address , city , state , country , postal_code , phone , fax , email , support_rep_id | genres : id , name | invoices : id , customer_id , invoice_date , billing_address , billing_city , billing_state , billing_country , billing_postal_code , total | media_types : id , name | tracks : id , name , album_id , media_type_id , genre_id , composer , milliseconds , bytes , unit_price | invoice_lines : id , invoice_id , track_id , unit_price , quantity | playlists : id , name | playlist_tracks : playlist_id , track_id | albums.artist_id = artists.id | employees.reports_to = employees.id | customers.support_rep_id = employees.id | invoices.customer_id = customers.id | tracks.media_type_id = media_types.id | tracks.genre_id = genres.id | tracks.album_id = albums.id | invoice_lines.track_id = tracks.id | invoice_lines.invoice_id = invoices.id | playlist_tracks.track_id = tracks.id | playlist_tracks.playlist_id = playlists.id | 

### Response:

select count ( * ) , genres.name from genres join tracks on genres.id = tracks.genre_id group by genres.name
### Instruction:

Convert text to sql: How many editors are there? | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select count ( * ) from editor

### Instruction:

Convert text to sql: List the names of editors in ascending order of age. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select name from editor order by age asc

### Instruction:

Convert text to sql: What are the names and ages of editors? | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select name , age from editor

### Instruction:

Convert text to sql: List the names of editors who are older than 25. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select name from editor where age > 25

### Instruction:

Convert text to sql: Show the names of editors of age either 24 or 25. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select name from editor where age = 24 or age = 25

### Instruction:

Convert text to sql: What is the name of the youngest editor? | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select name from editor order by age asc limit 1

### Instruction:

Convert text to sql: What are the different ages of editors? Show each age along with the number of editors of that age. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select age , count ( * ) from editor group by age

### Instruction:

Convert text to sql: Please show the most common age of editors. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select age from editor group by age order by count ( * ) desc limit 1
### Instruction:

Convert text to sql: Show the distinct themes of journals. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select distinct theme from journal

### Instruction:

Convert text to sql: Show the names of editors and the theme of journals for which they serve on committees. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select editor.name , journal.theme from journal_committee join editor on journal_committee.editor_id = editor.editor_id join journal on journal_committee.journal_id = journal.journal_id

### Instruction:

Convert text to sql: For each journal_committee, find the editor name and the journal theme. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select editor.name , journal.theme from journal_committee join editor on journal_committee.editor_id = editor.editor_id join journal on journal_committee.journal_id = journal.journal_id

### Instruction:

Convert text to sql: Show the names and ages of editors and the theme of journals for which they serve on committees, in ascending alphabetical order of theme. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select editor.name , editor.age , journal.theme from journal_committee join editor on journal_committee.editor_id = editor.editor_id join journal on journal_committee.journal_id = journal.journal_id order by journal.theme asc

### Instruction:

Convert text to sql: Show the names of editors that are on the committee of journals with sales bigger than 3000. | journal : journal_id , date , theme , sales | editor : editor_id , name , age | journal_committee : editor_id , journal_id , work_type | journal_committee.journal_id = journal.journal_id | journal_committee.editor_id = editor.editor_id | 

### Response:

select editor.name from journal_committee join editor on journal_committee.editor_id = editor.editor_id join journal on journal_committee.journal_id = journal.journal_id where journal.sales > 3000