Premise: Formula One ( also Formula 1 or F1 and officially the FIA Formula One World Championship ) is the highest class of single-seat auto racing that is sanctioned by the Fédération Internationale de l'Automobile ( FIA ) . 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 .
Hypothesis: Michael Schumacher is a racer.
Label: ENTAILMENT