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