Question: Are Victor Amaya and Mark Woodforde both former professional tennis players ?
Sentence (from "Victor Amaya"): Victor Amaya (born July 2, 1954 in Denver) is a former American male professional tour tennis player.
Relevant evidence: Yes