Class [Reptilia] Linnaeus, 1758 - reptiles Subclass †Araeoscelomorpha Kuhn, 1968 Order †Araeoscelidia Williston, 1913 Family †Petrolacosauridae Peabody, 1952