any of a group of reptiles that includes the lizards and, in older classifications, the crocodiles and various extinct forms, such as the dinosaurs: group Sauria