当初，在汉元帝、汉成帝的时代，有预见的人士曾说过这样的话：“魏朝的年号有太和，那时候在西边三千多里的地方会有裂开的石头，上面有五匹马的图案，石头上还有文字，那文字是‘大讨曹’。”等到魏国刚兴起的时候，张掖郡的柳谷有裂开的石头。这石头在建安年间(公元196年—220年)开始出现，在黄初年间(公元220年—226年)形成，在太和年间(公元227年—232年)花纹图象就齐备了。它的周长有七寻(八尺为一寻)，当中高一仞(七尺或八尺为一仞)。青色的质地，白色的花纹，龙、马、麟、鹿、凤凰、仙人的图象，都清楚地附着在上面。这一情况，是魏朝废替、晋朝兴起的符命。到晋朝泰始三年(公元267年)，张掖郡太守焦胜上奏说：“拿留在郡府的本国图谶校对现在石头上的花纹图形，文字的多少不同。现在我谨把这些花纹都描摹在此，呈上请阅。”考察那花纹图形，可以看到有五匹马的形象：其中一匹马，有一个人戴着平上帻、手握着矛朝骑在它身上；其中一匹，有点象马的形状，但又不完全象马。那图上的字有“金”，有“中”，有“大司马”，有“王”，有“大吉”，有“正”，有“开寿”；其中有一些字排成一行，那是“金当取之”(金德的晋王朝将会取代魏王朝)。