《魏书》记载：圣武皇帝讳诘汾。献帝命南移，山谷高深，九难八阻，于是欲止。有神兽，其形似马，其声类牛，先行导引，历年乃出。始居匈奴之故地。其迁徙策略，多出宣、献二帝，故人并号曰“推寅”，盖俗云“钻研”之义。初，圣武帝尝率数万骑田于山泽，欻见辎軿自天而下。既至，见美妇人，侍卫甚盛。帝异而问之，对曰：“我天女也，受命相偶。”遂同寝宿。旦，请还，曰：“明年周时，复会此处。”言终而别，去如风