井蛙未识河山广，分明到此生狂想的上句是什么

井蛙未识河山广，分明到此生狂想。上句是：上有石城连天横，剑戟相磨气明灭。这句诗词出自孙应时的《剑门行》。
下面是这首诗的全文：
两崖夹道立削铁，涧水悲鸣浅飞雪。上有石城连天横，剑戟相磨气明灭。出门下瞰山盘纡，石磴斗落十丈饮。敌来仰首不得上，百万渠能当一夫。井蛙未识河山广，分明到此生狂想。岂知天险乃误人，祸首子阳终衍昶。渭水秦川指顾中，剑门空复老英雄。传檄将军真得意，落星愁杀卧龙翁。