(Haptodus,(Dimetrodon,(Tetraceratops,(Raranimus,((((Biarmosuchus,(Hipposaurus,(Herpetoskylax,(Lycaenodon,(Lemurosaurus,(Proburnetia,Burnetia)))))),(Gorgonops,(Lycaenops,Cyonosaurus))),(Biseridens,(Patranomodon,Suminia))),((Stenocybus,(Syodon,Titanophoneus)),(Estemmenosuchus,(Styracocephalus,Jonkeria))))))));