deep-mined

equivalents

mined