(Synapsida,(Mesosauridae,Eureptilia,(Millerettidae,(Eunotosaurus,((Macroleter,Procolophonia),(Acleistorhinus,Lanthanosuchidae))))));