Previamente tres taxones de policotílidos, "Eopolycotylus", "Palmulasaurus" y "Trinacromerum", habían sido nombrados de la misma formación, dos de los cuales son hasta el momento endémicas del Esquisto Tropic.