mining [noun] + quarrying [verb]