SUPERCLASS: AMNIOTA HAECKEL, 1866

CLASS: AMPHIBIA LINNAEUS, 1758

SUBCLASS: LABYRINTHODONTIA OWEN, 1860

SUPERORDER: TEMNOSPONDYLIA ZITTEL, 1887

MICROORDER: LIMNARCHIA YATES & WARREN, 2000

ORDER: DVINOSAURIA YATES & WARREN, 2000

INFRAORDER: TRIMERORHACHOIDA ROMER, 1947

Superfamily: TRIMERORHACHOIDEA Cope, 1882 (sensu Romer, 1947)

Family: TRIMERORHACHIDAE Cope, 1882

Trimerorhachis sp

SUBCLASS: LEPOSPONDYLI ZITTEL, 1888

ORDER: NECTRIDEA MIALL, 1875

Family: DIPLOCAULIDAE Cope, 1881

Diplocaulus sp

CLASS: REPTILIA LAURENTI, 1768

SUBCLASS: SYNAPSIDA OSBORN, 1903

ORDER: PELYCOSAURIA COPE, 1878

SUBORDER: EUPELYCOSAURIA KEMP, 1982

INFRAORDER: DIMETRODONTOMORPHA emend NOPCSA, 1925

Family: SPHENACODONTIDAE Marsh, 1878

Subfamily: SPHENACODONTINAE Marsh, 1878 (sensu Nopcsa, 1925)

Tribe: DIMETERODONTINI Nopcsa, 1925

Dimetrodon gigashomogenes
Dimetrodon grandis
= Theropleura grandis