Vertebrata Cuvier, 1812 - vertebrates
   Gnathostomata
     Teleostomi
       Tetrapoda Hatschek & Cori 1896 [Gauthier, Kluge & Rowe 1988]
         Amniota Haeckel, 1866 [Gauthier, Kluge & Rowe 1988] - amniotes
           Class Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
             Subclass Diapsida Osborn, 1903 - diapsids see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020]
               Order †Araeoscelida see Order Araeoscelidia Williston, 1913
                 1 Family †Petrolacosauridae Peabody, 1952
                 2 Family †Araeoscelididae