which theater has a seating capacity less than 7000?
(AND theater.theater (lt architecture.venue.capacity 7000^^http://www.w3.org/2001/XMLSchema#integer))