qnli question: What is the formal name of the Interstate Highway System? sentence: The Interstate Highway System is officially known as the 'Dwight D. Eisenhower National System of Interstate and Defense Highways' in his honor.