梦者,诚之所形也。高宗形于得贤，仲尼形于见圣，庄周形于化蝶，扬雄形于吐鳯，范式形于葬友。梦之小大虽不同，其为诚之所形，则一也。仙居陈君勉卿，执亲丧如礼，以孝称于鄊。初求佳城未获，寝食弗遑。一夕，梦侍其亲游于睦溪之原，指其处以语之。明日访焉，果得其地，卜人吉之，遂毕窀穸，因筑庵以守，以梦名之，志其所以得也。某辱与君之弟文卿游上庠，爲同舍生，又与君之子三省游于剡。三省以梦庵之事语予，且求文以记。予谓观人之术，不必验之行事，因其诚之所形，亦足知其大畧。高宗可以知其贤，孔子可以知其圣，庄周可以知其达，扬雄可以知其文，范式可以知其义，陈君之梦，可以知其孝矣。彼有梦尸得官，蔵秽得财，心之所念者果何事，梦之所见者果何物耶。与陈君之梦，固有间矣。