Question: Were both Bob Lutz and Billie Jean King professional tennis players?
Sentence (from "Bob Lutz (tennis)"): Bud Collins ranked Lutz as World No. 7 in 1972.
Relevant evidence: No