in which theatre with more than 1156 seats was martin starger's production staged?
Entity Entity Entity
m.0c07sv m.06mq48 m.08kscc
Broadhurst Theatre Neil Simon Theatre Gershwin Theatre
class class literal entity
theater.theater theater.theater_production 1156^^http://www.w3.org/2001/XMLSchema#integer m.02q839j
theater.theater theater.theater_production type.int theater.theater_producer
Theater Theater Production 1156 Martin Starger
none none >= none
theater.theater.theatrical_productions_staged_here architecture.venue.capacity theater.theater_production.producer
Theatrical productions staged here Seating capacity Producer
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 . 
FILTER (?x2 >= "1156"^^<http://www.w3.org/2001/XMLSchema#integer>)
VALUES ?x3 { :m.02q839j } 
?x0 :theater.theater.theatrical_productions_staged_here ?x1 . 
?x0 :architecture.venue.capacity ?x2 . 
?x1 :theater.theater_production.producer ?x3 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(AND theater.theater (AND (JOIN theater.theater.theatrical_productions_staged_here (JOIN theater.theater_production.producer m.02q839j)) (ge architecture.venue.capacity 1156^^http://www.w3.org/2001/XMLSchema#integer)))