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 Hispanidad.
Hypothesis: El Día de la Hispanidad tenía un nombre diferente hasta 1957, cuando se acortó.