question_text: Have Marc Rosset and Max Mirnyi both been professional tennis players?
decomposition: return if Marc Rosset has been a professional tennis player ;return if Max Mirnyi has been a professional tennis player ;return if both #1 and  #2 are true