汉永平五年，京师少雨，上向云台，自作卦，以《周易》林占之，遇蹇卦，其疏曰：“蚁封穴户，大雨将至”，上以问沛献王辅，辅上书：“艮下坎上，艮为山，坎为水，山出云为雨。蚁穴，居之物，雨将至，故以蚁为兴。”
——《东观汉记》
帝王祈雨
东汉明帝永平五年(公元62年)，京城洛阳少雨而干旱，明帝走向高台祈雨，并亲自揲筮布卦，用《焦氏易林》林辞占断，得到水山蹇卦。其林辞曰：“蚂蚁将穴口封住，不久就将要下大雨了。”明帝以之问沛献王辅，王辅上奏说：“蹇卦，艮卦在下，坎卦在上，艮为山，坎为水，山上出云则为有雨。蚁穴是蚂蚁居住的地方，大雨将至，故蚂蚁将穴口封住，此是以穴来起兴。”
焦氏易林
此例所录之林辞：“蚁封穴户，大雨将至”于今本《周易》未见着录，而见于西汉焦延寿所著之《焦氏易林·震之蹇》：
蚁封穴户，大雨将至。鹊起数鸣，牝鸡叹室。相薨雄父，未到在道。
关于《焦氏易林》的占筮方法，早已亡佚，本占，明帝占得蹇卦，但结果却是：震之蹇，那么震卦是如何推算出来的，就不得而知了。
清末民初的象数易学大家，尚秉和对“蚁封穴户，大雨将至”林辞的来由是这样解释的：
此仍然用震象，伏巽为蚁，艮为穴户，坎闭，故曰封，坎为雨、为集。
全以主卦震卦来取象。
实际上如果不看原断语，仅通过蹇卦的卦象，也可以得出同样的结果：
水山蹇卦
(1)蹇卦卦象为艮下坎上，艮为山、为高台，坎为云、为雨，为山(高台)之上有雨之象，汉明帝登上高台祈雨并算卦，得到水山蹇卦，象与现状对轨，同时也给出了明确的答复：云雨就在高台之上，表示即将下雨；
(2)水山蹇卦、蹇卦初六爻至六四爻的互卦也为水山蹇卦，“蹇者，难也”；蹇卦的六二爻至九五爻互火水未济卦；由这两个互卦可以推出，当时的现状是很久没有下雨了(未济卦)，民众生活艰难(蹇卦)，再次与现状对轨；
(3)蹇卦六二爻至上六爻互坎为水卦；九三爻至上六爻互水火既济卦；
(4)《周易》卦象的顺序为自下而上，由(2)、(3)所分析的四个互卦的过程可以得出这样一个结论：前期天气干旱，久不下雨(互蹇卦、互未济卦)，后期大雨终将如期而至(互坎卦、互既济卦)。
全用蹇卦卦象，亦可得到与通过《易林》辞相同的结果！
