Dokumen untuk meringkas: Tapi jika lelaki, mereka akan menamainya Gary Lineker, pencetak gol terbanyak pada Piala Dunia 1986 di Meksiko.

Akhirnya, mereka dikaruniai anak perempuan. Namun, itu tidak menghentikan mereka untuk menyematkan nama bintang The Three Lions--julukan timnas Inggris--untuk sang anak.

"Saya tidak tahu bagaimana caranya ayah membujuk ibu saya," kata Lineker Hoffman, mahasiswa teknik berusia 21 tahu.

Hoffman tidak sendirian. Idola orang tuanya juga idola sebagian besar warga Kota Espirito Santo di selatan Brasil.

Alhasil, ada satu generasi bernama Lineker di kota tersebut.

Di Brasil, ejaan namanya bisa beragam: Lineker menjadi Linique, Linick atau Linik.

Lineker Hoffman awalnya hendak dinamai Amanda

Menamakan bayi dengan nama pesepakbola terkenal ialah tradisi Brasil yang sejalan dengan Piala Dunia.

Penggunaan nama Romario meningkat drastis pada 1994 ketika mantan penyerang Brasil itu memimpin tim Samba--julukan timnas Brasil-- merebut gelar Piala Dunia yang keempat.

Namun warga Brasil sangat senang menggunakan dan mengadaptasi nama asing sehingga banyak anak bernama, misalnya Rummenigge da Silva, Jorge Beckenbauer, Michel Platini Goes, Klinsmann Carrilho, Ruud Gullit Ribeiro dan Diego Maradona da Silva.

Maria Lucia da Silva, 52, memutuskan menamai anaknya Diego Maradona setelah sang "Tangan Tuhan" mencetak gol kemenangan untuk Argentina dalam pertandingan melawan Inggris pada 1986.

Namun, Maradona da Silva tidak bermain sepak bola dan tidak menyukai namanya sendiri.

"Saya menjadi bahan olok-olok di masa kanak-kanak," kata Da Silva.

Tradisi itu pun diteruskan oleh saudara perempuannya yang menamai kedua anaknya Thierry Henry dan Romario.

\nRingkasan dalam bahasa yang sama dengan dokumen:
Ketika Angela hamil, ia dan suaminya setuju bahwa jika bayi mereka perempuan, mereka akan memberinya nama Amanda.