第 2 句因包含“禹凿”,据此推断可能引用了典故:禹凿
戴剡源史宪使三天洞二首 其一 元 · 贡奎
五言律诗 押灰韵
洞底天无隔,多应禹凿开。
海声屈曲石汗尘埃
欲探岩崖去,空令杖履回。
无端僧占住,多少后人来。