Premise: John Glenn . Before joining NASA , Glenn was a distinguished fighter pilot in World War II and Korea with six Distinguished Flying Crosses and eighteen clusters on his Air Medal . He was one of the Mercury Seven , military test pilots selected in 1959 by NASA as the United States ' first astronauts . He received the NASA Distinguished Service Medal , the Congressional Space Medal of Honor in 1978 , was inducted into the U.S. Astronaut Hall of Fame in 1990 , and was the last surviving member of the Mercury Seven . After Glenn resigned from NASA in 1964 and retired from the Marine Corps the following year , he planned to run for a U.S. Senate seat from Ohio .
Hypothesis: John Glenn worked for NASA.
Label: ENTAILMENT