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

Convert text to sql: What are the names of photos taken with the lens brand 'Sigma' or 'Olympus'? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ where _ | select camera_lens.name from camera_lens join photos on photos.camera_lens_id = camera_lens.id where camera_lens.brand = 'Sigma' or camera_lens.brand = 'Olympus'
### Instruction:

Convert text to sql: How many different kinds of lens brands are there? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select count ( distinct _ ) from _ | select count ( distinct brand ) from camera_lens
### Instruction:

Convert text to sql: How many camera lenses are not used in taking any photos? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select count ( _ ) from _ where _ not in ( select _ from _ ) | select count ( * ) from camera_lens where id not in ( select camera_lens_id from photos )
### Instruction:

Convert text to sql: How many distinct kinds of camera lenses are used to take photos of mountains in the country 'Ethiopia'? | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select count ( distinct _ ) from _ where _ | select count ( distinct photos.camera_lens_id ) from mountain join photos on mountain.id = photos.mountain_id where mountain.country = 'Ethiopia'
### Instruction:

Convert text to sql: List the brands of lenses that took both a picture of mountains with range 'Toubkal Atlas' and a picture of mountains with range 'Lasta Massif' | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select camera_lens.brand from mountain join photos on mountain.id = photos.mountain_id join camera_lens on photos.camera_lens_id = camera_lens.id where mountain.range = 'Toubkal Atlas' intersect select camera_lens.brand from mountain join photos on mountain.id = photos.mountain_id join camera_lens on photos.camera_lens_id = camera_lens.id where mountain.range = 'Lasta Massif'
### Instruction:

Convert text to sql: Show the name and prominence of the mountains whose picture is not taken by a lens of brand 'Sigma'. | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ except select _ from _ where _ | select name , prominence from mountain except select mountain.name , mountain.prominence from mountain join photos on mountain.id = photos.mountain_id join camera_lens on photos.camera_lens_id = camera_lens.id where camera_lens.brand = 'Sigma'
### Instruction:

Convert text to sql: List the camera lens names containing substring "Digital". | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ from _ where _ like _ | select name from camera_lens where name like '%Digital%'
### Instruction:

Convert text to sql: What is the name of each camera lens and the number of photos taken by it? Order the result by the count of photos. | mountain : id , name , height , prominence , range , country | camera_lens : id , brand , name , focal_length_mm , max_aperture | photos : id , camera_lens_id , mountain_id , color , name | photos.mountain_id = mountain.id | photos.camera_lens_id = camera_lens.id | 

### Response:

select _ , count ( _ ) from _ group by _ order by count ( _ ) asc | select camera_lens.name , count ( * ) from camera_lens join photos on camera_lens.id = photos.camera_lens_id group by camera_lens.id order by count ( * ) asc
### Instruction:

Convert text to sql: Find the names of channels that are not owned by CCTV. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ | select name from channel where owner != 'CCTV'
### Instruction:

Convert text to sql: Which channels are not owned by CCTV? Give me the channel names. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ | select name from channel where owner != 'CCTV'
### Instruction:

Convert text to sql: List all channel names ordered by their rating in percent from big to small. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc | select name from channel order by rating_in_percent desc
### Instruction:

Convert text to sql: Give me a list of all the channel names sorted by the channel rating in descending order. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc | select name from channel order by rating_in_percent desc
### Instruction:

Convert text to sql: What is the owner of the channel that has the highest rating ratio? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc limit _ | select owner from channel order by rating_in_percent desc limit 1
### Instruction:

Convert text to sql: Show me the owner of the channel with the highest rating. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc limit _ | select owner from channel order by rating_in_percent desc limit 1
### Instruction:

Convert text to sql: how many programs are there? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

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

Convert text to sql: Count the number of programs. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

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

Convert text to sql: list all the names of programs, ordering by launch time. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ asc | select name from program order by launch asc
### Instruction:

Convert text to sql: What is the list of program names, sorted by the order of launch date? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ asc | select name from program order by launch asc
### Instruction:

Convert text to sql: List the name, origin and owner of each program. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ | select name , origin , owner from program
### Instruction:

Convert text to sql: What are the name, origin and owner of each program? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ | select name , origin , owner from program
### Instruction:

Convert text to sql: find the name of the program that was launched most recently. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc limit _ | select name from program order by launch desc limit 1
### Instruction:

Convert text to sql: Which program was launched most recently? Return the program name. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ order by _ desc limit _ | select name from program order by launch desc limit 1
### Instruction:

Convert text to sql: find the total percentage share of all channels owned by CCTV. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select sum ( _ ) from _ where _ | select sum ( share_in_percent ) from channel where owner = 'CCTV'
### Instruction:

Convert text to sql: What is the total share (in percent) of all the channels owned by CCTV? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select sum ( _ ) from _ where _ | select sum ( share_in_percent ) from channel where owner = 'CCTV'
### Instruction:

Convert text to sql: Find the names of the channels that are broadcast in the morning. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ | select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Morning'
### Instruction:

Convert text to sql: Which channels are broadcast in the morning? Give me the channel names. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ | select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Morning'
### Instruction:

Convert text to sql: what are the names of the channels that broadcast in both morning and night? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Morning' intersect select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Night'
### Instruction:

Convert text to sql: Which channels broadcast both in the morning and at night? Give me the channel names. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Morning' intersect select channel.name from channel join broadcast on channel.channel_id = broadcast.channel_id where broadcast.time_of_day = 'Night'
### Instruction:

Convert text to sql: how many programs are broadcast in each time section of the day? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select count ( _ ) , _ from _ group by _ | select count ( * ) , time_of_day from broadcast group by time_of_day
### Instruction:

Convert text to sql: Count the number of programs broadcast for each time section of a day. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select count ( _ ) , _ from _ group by _ | select count ( * ) , time_of_day from broadcast group by time_of_day
### Instruction:

Convert text to sql: find the number of different programs that are broadcast during night time. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select count ( distinct _ ) from _ where _ | select count ( distinct program_id ) from broadcast where time_of_day = 'Night'
### Instruction:

Convert text to sql: How many distinct programs are broadcast at "Night" time? | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select count ( distinct _ ) from _ where _ | select count ( distinct program_id ) from broadcast where time_of_day = 'Night'
### Instruction:

Convert text to sql: Find the names of programs that are never broadcasted in the morning. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ except select _ from _ where _ | select name from program except select program.name from program join broadcast on program.program_id = broadcast.program_id where broadcast.time_of_day = 'Morning'
### Instruction:

Convert text to sql: Which programs are never broadcasted in the morning? Give me the names of the programs. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ except select _ from _ where _ | select name from program except select program.name from program join broadcast on program.program_id = broadcast.program_id where broadcast.time_of_day = 'Morning'
### Instruction:

Convert text to sql: find the program owners that have some programs in both morning and night time. | program : program_id , name , origin , launch , owner | channel : channel_id , name , owner , share_in_percent , rating_in_percent | broadcast : channel_id , program_id , time_of_day | broadcast_share : channel_id , program_id , date , share_in_percent | broadcast.program_id = program.program_id | broadcast.channel_id = channel.channel_id | broadcast_share.program_id = program.program_id | broadcast_share.channel_id = channel.channel_id | 

### Response:

select _ from _ where _ intersect select _ from _ where _ | select program.owner from program join broadcast on program.program_id = broadcast.program_id where broadcast.time_of_day = 'Morning' intersect select program.owner from program join broadcast on program.program_id = broadcast.program_id where broadcast.time_of_day = 'Night'