(Adelogyrinus,(Asaphestera,Brachydectes,Scincosaurus,(Lethiscus_stocki,(Ophiderpeton_brownriggi_et_kirktonense,((Oestocephalus_amphiuminum,Coloraderpeton_brilli),(Pseudophlegethontia_turnbullorum,(Phlegethontia_longissima,Phlegethontia_linearis,Montcellian_aistopod)))))));