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