《水经注·卷十一》
博水又往东南流经毁梁亭南，又往东流经阳城县，散溢为湖泽，湖水上涨时，方圆数里，不但盛产香蒲和竹笋，而且菱角和莲藕也特别多。
博水又东南径谷粱亭南，又东径阳城县，散为泽渚。
Boshui River flows southeastward to the south of Huiliang Pavilion, and then eastward through Yangcheng County, where it spreads out and forms a lake. When the lake rises, it covers an area of several square kilometers, and not only produces abundant reedmace and bamboo shoots, but also an especially large amount of water chestnut and lotus root.