which theatre, containing more than 804 seats, was used as the production stage for the mary cossette show?
Entity Entity
m.0c07gh m.0c07nq
Gerald Schoenfeld Theatre John Golden Theatre
class class literal entity
theater.theater theater.theater_production 804^^http://www.w3.org/2001/XMLSchema#integer m.0k3d4pf
theater.theater theater.theater_production type.int theater.theater_producer
Theater Theater Production 804 Mary Cossette
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 >= "804"^^<http://www.w3.org/2001/XMLSchema#integer>)
VALUES ?x3 { :m.0k3d4pf } 
?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.0k3d4pf)) (ge architecture.venue.capacity 804^^http://www.w3.org/2001/XMLSchema#integer)))