テキスト丸石は天然に生じたものではなく、凼口も古来からのものではない。伝え聞くところによれば、かつて職人が鉱虫の機巧を設計して鉱石を運ぶ際、機巧の運搬に便利なように鉱石を球の形に積み上げたという。鉱虫が丸石を押して進み、凼口もまた年年の採掘に伴い、ますます深くなった。今、高所から見下ろせば、丸石が首尾相連なり、道に沿って下っていくのが見える。