leading goalscorer
... that despite playing as a defender, Ildefons Lima is the leading goalscorer in the history of the Andorra national football team?
... that despite playing as a <a href="./Defender_(association_football)" id="mwBKQ" rel="mw:WikiLink" title="Defender (association football)">defender</a>, <a href="./Ildefons_Lima" id="mwBKU" rel="mw:WikiLink" title="Ildefons Lima">Ildefons Lima</a> is the <b id="mwBKY"><a href="./List_of_Andorra_international_footballers" id="mwBKc" rel="mw:WikiLink" title="List of Andorra international footballers">leading goalscorer</a></b> in the history of the <a href="./Andorra_national_football_team" id="mwBKg" rel="mw:WikiLink" title="Andorra national football team">Andorra national football team</a>?