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 was born as Miroslava Vavrincova but her nickname is Mirka.
Label: NEUTRAL