vertebrates Cuvier, 1812 - vertebrates
Cohort Amniota Haeckel, 1866
see Clade Amniota Haeckel, 1866 [Gauthier, Kluge & Rowe 1988]
Class "Reptilia" Linnaeus, 1758 - reptiles
Subclass Sauropsida Huxley, 1864
Superorder Lepidosauria Haeckel, 1866
see Superorder Lepidosauriformes Gauthier, Estes & de Queiroz, 1988
Order †"Eosuchia" Broom, 1914
see Clade Eosuchia Broom 1914 [Laurin 1991]
Family †Petrolacosauridae Peabody, 1952