what theater can seat, at most, 180 people?
(AND theater.theater (JOIN architecture.venue.capacity 180^^http://www.w3.org/2001/XMLSchema#integer))