which theme song did the composer of don giovanni do?
Entity
m.01vnkp
Eine kleine Nachtmusik
class class entity
tv.tv_theme_song music.composer m.09hh0
tv.tv_theme_song music.composer opera.opera
TV theme song Composer Don Giovanni
none none none
music.composer.compositions music.composer.compositions
Works Composed Works Composed
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_theme_song . 
?x1 :type.object.type :music.composer . 
VALUES ?x2 { :m.09hh0 } 
?x1 :music.composer.compositions ?x0 . 
?x1 :music.composer.compositions ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND tv.tv_theme_song (JOIN (R music.composer.compositions) (JOIN music.composer.compositions m.09hh0)))