Premise: Michael Schumacher . He is a seven-time Formula One World Champion and is widely regarded as one of the greatest Formula One drivers of all time . In 1991 , his Mercedes-funded race debut for the Jordan Formula One team resulted in Schumacher being signed by Benetton Formula One team as their driver for the rest of that season . Schumacher returned to Formula One on a permanent basis from 2010 with the Mercedes team before retiring for a second time at the conclusion of the 2012 season .
Hypothesis: Michael Schumacher is a race car driver in Formula One.
Label: ENTAILMENT