a drain – specifically, a pipe used to distribute ventilation air in underground workings.
Enquiry form