name a theater with a seating capacity of 3523
(AND theater.theater (JOIN architecture.venue.capacity 3523^^http://www.w3.org/2001/XMLSchema#integer))