La Formación Allen fue definida por Roll (1939), pero posteriormente se definió una nueva localidad y perfil tipo en las cercanías de El Caracol, donde las relaciones de base y techo son muchos más claras.