The basement is a square kilometre in size, and that's the lab.
The basement is bigger than a warehouse.
mnli hypothesis: The basement is bigger than a warehouse. premise: The basement is a square kilometre in size, and that's the lab.