Introducción a Tanglangchuan: La ciudad de Anning se llamaba Lianran en la antigüedad y goza de la reputación de "El cubo dorado de Lianran, la tierra del tesoro de Tangchuan". El río Mantis se origina en el lago Dianchi y también es la única salida del lago Dianchi.