(Bernissartia_fagesii,(Leidyosuchus_formidabilis,(Diplocynodon_hantoniensis,((Albertochampsa_langstoni,(Brachychampsa_montana,Brachychampsa_sealeyi)),(Alligator_mississippiensis,Allognathosuchus_mooki)))));