coal or other mine
The term coal or other mine means a coal or other mine, as defined in section 3 of the Federal Mine Safety and Health Act of 1977 (30 U.S.C. 802), that is subject to the provisions of such Act (30 U.S.C. 801 et seq).
means a coal or other mine, as defined in section 3 of the Federal Mine Safety and Health Act of 1977 (30 U.S.C. 802), that is subject to the provisions of such Act (30 U.S.C. 801et seq).