question_text: Who has won the most Olympic medals for figure skating, Debi Thomas or Katarina Witt?
decomposition: return Olympic medals Debi Thomas won for figure skating ;return Olympic medals Katarina Witt won for figure skating ;return number of  #1 ;return number of  #2 ;return which is highest of #3 ,  #4