what is the name of the singer who performed the tv song that was composed by butch?
Entity
m.04f_hhk
Gin Wigmore
class class class entity
tv.tv_song_performer tv.tv_segment_song_relationship tv.tv_song m.05l2y3
tv.tv_song_performer tv.tv_segment_song_relationship tv.tv_song music.composer
TV song performer TV segment song relationship TV song butch
none none none none
tv.tv_song_performer.episode_segments tv.tv_segment_song_relationship.song music.composition.composer
Episode segments Song Composer
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :tv.tv_song_performer . 
?x1 :type.object.type :tv.tv_segment_song_relationship . 
?x2 :type.object.type :tv.tv_song . 
VALUES ?x3 { :m.05l2y3 } 
?x0 :tv.tv_song_performer.episode_segments ?x1 . 
?x1 :tv.tv_segment_song_relationship.song ?x2 . 
?x2 :music.composition.composer ?x3 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(AND tv.tv_song_performer (JOIN tv.tv_song_performer.episode_segments (JOIN tv.tv_segment_song_relationship.song (JOIN music.composition.composer m.05l2y3))))