Premise: The ATP Finals is the second highest tier of men 's tennis tournament after the four Grand Slam tournaments . Ivan Lendl . He won two WCT Finals titles and five Masters Grand Prix titles , with the record of nine consecutive finals . John Patrick McEnroe Jr. ( born February 16 , 1959 ) is an American former World No. 1 professional tennis player , often rated among the greatest players of all time in the sport , especially for his touch on the volley .
Hypothesis: Ivan Lendl has played in a tennis game.
Label: ENTAILMENT