Premise: Detroit Diesel Corporation ( DDC ) is an American diesel engine manufacturer headquartered in Detroit , Michigan , United States and a subsidiary of Daimler Trucks North America , itself a wholly owned subsidiary of the German Daimler AG .
Hypothesis: Michigan is one of the headquarters of Detroit Diesel.
Label: ENTAILMENT