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