theodore forstmann's production was staged in which theatre that has more than 1621 seats?
Entity
m.0c07jx
Minskoff Theatre
class class literal entity
theater.theater theater.theater_production 1621^^http://www.w3.org/2001/XMLSchema#integer m.03s_c9
theater.theater theater.theater_production type.int theater.theater_producer
Theater Theater Production 1621 theodore forstmann
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 >= "1621"^^<http://www.w3.org/2001/XMLSchema#integer>)
VALUES ?x3 { :m.03s_c9 } 
?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.03s_c9)) (ge architecture.venue.capacity 1621^^http://www.w3.org/2001/XMLSchema#integer)))