Premise: Billie Jean King ( née Moffitt ; born November 22 , 1943 ) is an American former World No. 1 professional tennis player .
Hypothesis: Billie Jean King was formerly a World No. 1 professional tennis player.
Label: ENTAILMENT