(Haptodus_garnettensis,(Tetraceratops,(Ianthodon,((Secodontosaurus,((Sphenacodon_ferocior,Ctenospondylus_spp),(Dimetrodon_milleri,(Dimetrodon_limbatus,(Dimetrodon_grandis,Bathygnathus_borealis))))),(Biarmosuchus,Dinocephalia,Raranimus,Hipposaurus)))));