mines - mining at an area