The five-tiered auditorium, with its incongruous modern ceiling painted by Chagall in 1964, holds a mere 2,000 spectators.
The auditorium can hold up to 20,000 spectators.
mnli hypothesis: The auditorium can hold up to 20,000 spectators. premise: The five-tiered auditorium, with its incongruous modern ceiling painted by Chagall in 1964, holds a mere 2,000 spectators.