Premise: Miroslava `` Mirka '' Federer ( born Miroslava Vavrincová on 1 April 1978 , later Miroslava Vavrinec ) is a Slovak-born Swiss former professional tennis player .
Hypothesis: Mirka Federer's birth year is 1978.
Label: ENTAILMENT