(Biarmosuchus,((Estemmenosuchus,Tapinocaninus),(Microsyodon,(Archaeosyodon,((Notosyodon,(Syodon,Australosyodon)),(Sinophoneus,(T_potens,T_adamanteus,Anteosaurus)))))));