(Proterogyrinus,(Limnoscelis,Kotlassia,Utegenia,(Discosauriscus,(Ariekanerpeton,(Seymouria_sanjuanensis,Seymouria_baylorensis)))));