MGI:3840236 Axin<deltaRGS> Axin1<tm3Cos> Inserted expressed sequence targeted mutation 3, Frank Costantini http://identifiers.org/mgd/MGI:3840236