Instruct: Given a premise, retrieve a hypothesis that is entailed by the premise.
Query: Dickinson Theodore Roosevelt Regional Airport (IATA: DIK, ICAO: KDIK, FAA LID: DIK) , formerly known as Dickinson Municipal Airport, is a public use airport located five nautical miles (6 mi, 9 km) south of the central business district of Dickinson, in Stark County, North Dakota, United States. It is owned by the Dickinson Airport Authority.
Roosevelt Airport is owned by Dickinson.
Theodore Roosevelt changed Dickinson Municipal Airport's name. 
Donaldson Center Airport is 5 miles north of a stadium.
Donaldson Center Airport is north of a stadium.
Dickinson Theodore Roosevelt Regional Airport's official language is English.
Donaldson Center Airport is being remodeled soon.
Theodore Roosevelt doesn't know where Dickinson Theodore Roosevelt Regional Airport is.
Donaldson Center Airport has an area available for private planes.
Dickinson Municipal Airport is not available to the public.
Donaldson Center Airport has a few places to eat in it
Donaldson Center Airport is a favorite amongst men
Donaldson Center Airport has a few ambulances on site
Donaldson Center Airport is the nicest airport in the state
Donaldson Center Airport has a few snack shops
Donaldson Center Airport is favored by women
Donaldson Center Airport is busy during the day more than night
Williston Municipal Airport has planes.
Donaldson Center Airport offers car rentals inside.
Donaldson Center Airport has more than 20 planes
Donaldson Center Airport is temporarily closed for remodeling.
Donaldson Center Airport used to be a private airport.
Major US airlines land at Williston Municipal Airport on a regular basis.
Dickinson Municipal Airport is owned by the Grand Authority of Airports in Dickinson.
Theodore Roosevelt changed Dickinson Municipal Airport's name. 
Dickinson Theodore Roosevelt Regional Airport's official language is English.