. . . . "To restore a mine or a part of a mine that has been damaged by explosion, fire, water, or other cause to a working condition. rock dusting." .