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