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