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.
Answer in sentence: yes