Suppose the band ABBA is a Swedish pop group formed in Stockholm in 1972 by Agnetha Fältskog, Björn Ulvaeus, Benny Andersson, and Anni-Frid Lyngstad. They are best known for hits like 'Dancing Queen' and 'Mamma Mia', and have sold over 150 million records worldwide.
Can we infer that ABBA was formed in the 1980s?