Used to distinguish between mining (hard rock) discipline and petroleum (soft rock) discipline.