Premise: Formula König was an open wheel racing series based in Germany and sponsored by German automobile company König Komfort - und Rennsitze GmbH ( König comfort and racing seats GmbH ) . Formula Three , also called Formula 3 or F3 , is a class of open-wheel formula racing . Michael Schumacher ( [ ˈmɪçaʔɛl ˈʃuːmaxɐ ] ; born 3 January 1969 ) is a German retired racing driver . Schumacher holds many of Formula One 's driver records , including most championships , race victories , fastest laps , pole positions and races won in a single season -- 13 in 2004 ( the last record was equalled by fellow German Sebastian Vettel nine years later ) .
Hypothesis: Michael Schumacher is a professional racer.
Label: ENTAILMENT