Determining top goal scorers

I’m trying to figure out the top goal scorers based on users' likely intent. They probably want a list of the top 10. Some names to include are Messi with 91 goals in 2012, Gerd Müller with 85 in 1972, and Pelé, who scored 75 in 1958. But, I need to confirm those details about Romário and Zico, along with Ronaldo's and Lewandowski's achievements. I'll gather accurate data from the IFFHS for clarity.Clarifying user needs

To avoid putting together a potentially incorrect list, I think it’s better to ask the user for clarification. I could ask if they want the top 10 players along with the counting rules and whether to use official sources like IFFHS or RSSSF. Since I’m not sure I have network access, I might also propose computing it from the data I already have. Ultimately, I’ll need to check if they want me to pull up the official list.Confirming records and context

I should highlight that Messi's 91 goals in 2012 is a record. I can also mention a couple of comparable achievements, like Müller with 85 in 1972 and Lewandowski and Cristiano Ronaldo, both with 69 goals in their respective years. Keeping this brief, I can confirm Messi as #1 and ask the user if they want the full top 10 list based on IFFHS standards or another definition. I could also offer to include a breakdown by club versus national team.