what theater does the production of hal luftig run out of?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0280hmt m.0k00ll5 m.0c07rt m.04f0_kl m.05tk4h m.06mq48 m.0c07lm m.0854rt m.0272b5c m.07lbfb m.07s6395 m.085507 m.086t04 m.08d7n1 m.098rk4 m.0_lrt3g m.0c07j6 m.0fbg1p m.0fzbjx m.0k0m3c1 m.0z9v_tn m.0zcvl55 m.0zcwv8d m.06zyxr m.04nr76
Starlight Theatre The Fillmore Miami Beach at the Jackie Gleason Theater Brooks Atkinson Theatre Hippodrome Theatre Palace Theatre Neil Simon Theatre Marquis Theatre August Wilson Theatre Ahmanson Theatre National Theatre Music Hall at Fair Park Al Hirschfeld Theatre St. James Theatre Aronoff Center Richard Rodgers Theatre Temple Hoyne Buell Theatre Music Box Theatre Wharton Center for Performing Arts Broward Center for the Performing Arts Belk Theatre Bleecker Street Theatre Opera House Century Center For The Performing Arts Benedum Center Shaftesbury Theatre
class class entity
theater.theater theater.theater_production m.0k1j4k_
theater.theater theater.theater_production theater.theater_producer
Theater Theater Production Hal Luftig
none none none
theater.theater.theatrical_productions_staged_here theater.theater_producer.plays_produced
Theatrical productions staged here Plays 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 :theater.theater . 
?x1 :type.object.type :theater.theater_production . 
VALUES ?x2 { :m.0k1j4k_ } 
?x0 :theater.theater.theatrical_productions_staged_here ?x1 . 
?x2 :theater.theater_producer.plays_produced ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND theater.theater (JOIN theater.theater.theatrical_productions_staged_here (JOIN (R theater.theater_producer.plays_produced) m.0k1j4k_)))