what is a theater that seats 1676?
Entity
m.07lbfb
National Theatre
class literal
theater.theater 1676^^http://www.w3.org/2001/XMLSchema#integer
theater.theater type.int
Theater 1676
none none
architecture.venue.capacity
Seating capacity
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 . 
VALUES ?x1 { "1676"^^<http://www.w3.org/2001/XMLSchema#integer> } 
?x0 :architecture.venue.capacity ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND theater.theater (JOIN architecture.venue.capacity 1676^^http://www.w3.org/2001/XMLSchema#integer))