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