mnli premise: Franco named as his successor the grandson of Alfonso XIII, who was enthroned as King Juan Carlos I when the dictator died in 1975. hypothesis: Franco never chose a successor for King when he died.