Definition of the deep mined are of coal, as contrasted with coal obtained from a strip mine .