Premise: Ivan Lendl . He competed in 19 Grand Slam singles finals , a record surpassed by Roger Federer in 2009 , Rafael Nadal in 2014 and Novak Djokovic in 2016 . Lendl has been runner-up in a record 11 Grand Slam finals .
Hypothesis: Ivan Lendl has played in a Grand Slam.
Label: ENTAILMENT