Vertebrata Cuvier, 1812 - vertebrates
   Gnathostomata
     Teleostomi
       Tetrapoda Goodrich, 1930
         Amniota Haeckel, 1866 - amniotes
           Class Reptilia Linnaeus, 1758 [paraphyletic] - reptiles
             Subclass Diapsida Osborn, 1903 - diapsids see Clade Diapsida Osborn 1903 [Laurin 1991]
               Order †Araeoscelida see Order Araeoscelidia Williston, 1913
                 Family †Petrolacosauridae Peabody, 1952