what musical release is produced by andres levin, and is the release of in the heights?
Entity
m.0bfk4jf
In the Heights
class entity entity
music.release m.05c6d88 m.01wwf2n
music.release theater.musical_soundtrack music.producer
Musical Release In the Heights Andres Levin
none none none
music.release.album music.producer.releases_produced
Release of Releases produced
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 :music.release . 
VALUES ?x1 { :m.05c6d88 } 
VALUES ?x2 { :m.01wwf2n } 
?x0 :music.release.album ?x1 . 
?x2 :music.producer.releases_produced ?x0 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND music.release (AND (JOIN music.release.album m.05c6d88) (JOIN (R music.producer.releases_produced) m.01wwf2n)))