石壁天所成，洞以人力制。
平处岂不多，取难非取易。
老师若常侣，安得有此异。
不知经营时，顿足在何地。
工搜鬼神僻，妙磔造化秘。
既非苟且为，知历几百世。
设使容易隳，再有谁可继。
我来觅幽胜，乃得理外意。
阑凭无底谷，丈尺岂可计。
松头乱々，壁脚插翠气。
扶阑试小瞰，神宅欻鼎沸。
只为定力微，惹彼林涧愧。
古训衡不骑，我却自买畏。
闭眼待神归，从容问何味。
朝元洞。宋代。王履。 石壁天所成，洞以人力制。平处岂不多，取难非取易。老师若常侣，安得有此异。不知经营时，顿足在何地。工搜鬼神僻，妙磔造化秘。既非苟且为，知历几百世。设使容易隳，再有谁可继。我来觅幽胜，乃得理外意。阑凭无底谷，丈尺岂可计。松头乱々，壁脚插翠气。扶阑试小瞰，神宅欻鼎沸。只为定力微，惹彼林涧愧。古训衡不骑，我却自买畏。闭眼待神归，从容问何味。
（1080—1127）宋开封人，字坦翁。以父荫补三班奉职。哲宗元符间，因上书言朝政阙失，编管新州，徽宗崇宁中入元祐党籍。后复官。钦宗靖康元年，以和议副使出使金，不为所屈，归除相州观察使。又扈从钦宗至金营，遂同被执。后因痛骂金人被杀。 ...
王履。 （1080—1127）宋开封人，字坦翁。以父荫补三班奉职。哲宗元符间，因上书言朝政阙失，编管新州，徽宗崇宁中入元祐党籍。后复官。钦宗靖康元年，以和议副使出使金，不为所屈，归除相州观察使。又扈从钦宗至金营，遂同被执。后因痛骂金人被杀。