Premise: España mantuvo la denominación «Fiesta Nacional de España y Día de la Hispanidad» hasta el año 1957, en que pasó a denominarse a Día de la Humanidad.
Hypothesis: España cambió el nombre de "Día de la Hispanidad" a "Fiesta Nacional de España y Día de la Hispanidad" en 1957.