The facilities are enclosed within a huge retractable roof.
There is a huge retractable roof over the facilities.
mnli hypothesis: There is a huge retractable roof over the facilities. premise: The facilities are enclosed within a huge retractable roof.