[n] crushing and separating ore into valuable substances or waste by any of a variety of techniques
mineral dressing, mineral extraction, mineral processing, ore dressing, ore processing