mining [verb] + subsidence [noun]