list the theaters with a seating capacity of 2137 pr less.
(AND theater.theater (lt architecture.venue.capacity 2137^^http://www.w3.org/2001/XMLSchema#integer))