fran weissler's production was staged in which theatre with more than 1761 seats?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.075949 m.0977qb m.026f0bx m.026xf1j m.04qrhq m.074ttj m.08kscc m.0bz7bg m.0d21g9 m.0k3p7g9 m.0zcvl55
Nancy Lee and Perry R. Bass Performance Hall David A. Straz Jr. Center for the Performing Arts Proctors Palace Theatre Fox Theatre The Muny Gershwin Theatre Broadway Theatre Paramount Theatre Wang Theatre Opera House
class class literal entity
theater.theater theater.theater_production 1761^^http://www.w3.org/2001/XMLSchema#integer m.0k374h3
theater.theater theater.theater_production type.int theater.theater_producer
Theater Theater Production 1761 Fran Weissler
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 >= "1761"^^<http://www.w3.org/2001/XMLSchema#integer>)
VALUES ?x3 { :m.0k374h3 } 
?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.0k374h3)) (ge architecture.venue.capacity 1761^^http://www.w3.org/2001/XMLSchema#integer)))