Question: Were both Bob Lutz and Billie Jean King professional tennis players?
Sentence (from "Billie Jean King"): Billie Jean King ("née" Moffitt; born November 22, 1943) is an American former World No. 1 professional tennis player.
Relevant evidence: Yes