[Reptilia] Linnaeus 1758 [Gauthier, Kluge & Rowe 1988], nom. cl. inval. see Class Reptilia Linnaeus, 1758 Clade Diapsida Osborn 1903 [Laurin 1991] see Clade Diapsida Osborn 1903 [Gauthier & de Queiroz 2020] Clade †Araeoscelidia Williston 1913 [Laurin 1991] see Order Araeoscelidia Williston, 1913 1 Genus †Petrolacosaurus Lane, 1945 2 Genus †Araeoscelis Williston, 1910