Question: Were both Bob Lutz and Billie Jean King professional tennis players?
Sentence (from "Bob Lutz (tennis)"): Robert Lutz (born August 29, 1947) is a former amateur and professional tennis player of the 1960s and 1970s.
Relevant evidence: Yes