孔明相巴蜀，貴在飭綱紀。
斷獄斬幼常，時時面流涕。
古來真將軍，親愛法不廢。
所以百萬師，常若身使臂。
桓桓司馬法，無事出奇計。
恩多不能勸，用法乃始勵。
莊賈后即誅，庶乎知此意。