coal mine: a mine where coal is dug from the ground
mine: excavation in the earth from which ores and minerals are extracted
propylene: a flammable gas obtained by cracking petroleum; used in organic synthesis