(Utatsusaurus,(Grippia,(Cymbospondylus,((Mixosaurus_panxianensis,(Mixosaurus_cornalianus,Mixosaurus_kuhnschnyderi)),(Phalarodon_atavus,(Phalarodon_fraasi,Phalarodon_callawayi))))));