Mapping the force of gravity at different places with a gravimeter (gravity meter) to determine differences in specific gravity of rock masses, and, through this, the distribution of masses of different specific gravity.