Detailed Instructions: In this task, you are given news articles and you need to generate a highlight, i.e., a short summary, with a maximum length of 10 lines.
See one example below:
Problem: (CNN) -- The goals just keep flowing for Lionel Messi, who on Sunday surpassed soccer legend Pele's mark of 75 in a calendar year to help Barcelona bounce back from a rare defeat. The Argentina star netted twice in the 4-2 win at Mallorca that kept the Catalans three points clear in Spain's La Liga, leaving him just nine short of Gerd Muller's all-time record. The 25-year-old, who became a first-time father earlier this month, was able to put a bit more enthusiasm into his new thumb-sucking celebration than when he scored late in the shock midweek Champions League loss to Scottish side Celtic. 'Leo continually breaks records. His goal tally is spectacular,' said Barca manager Tito Vilanova, who has yet to experience a domestic league defeat after his first 11 matches in charge, equaling the best start to a season set by Real Madrid. 'It takes other great players seven or eight seasons to score the amount of goals he scores in one season. Also, some of his goals are absolute beauties.'Read blog: Is loyalty Barca's biggest strength? Messi has now scored 64 goals for his club and 12 for his country this year, from just 59 matches overall. Pele managed 75 from 53 as a 17-year-old in 1958, helping Brazil to win the World Cup for the first of a record five times. Muller, a World Cup winner in 1974, surpassed Pele's record in a year that West Germany won the European Championship. Messi has yet to win a senior title with Argentina, though he won Olympic gold with the under-23 side in 2008. He has nine matches left this year to catch Muller -- six in La Liga, two in the Champions League and one in the Spanish Cup. His two goals against Malaga gave him 15 in the league this season, three clear of his big rival Cristiano Ronaldo -- who scored the opener in Real Madrid's 2-1 win on a waterlogged pitch at Levante in Sunday's late match. Ronaldo, switched to a central attacking role with Karim Benzema and Gonzalo Higuain out injured, suffered an early blow above the eye and was taken off at halftime. The Portugal captain is now Real's seventh highest league scorer with 124 goals since his arrival from Manchester United in 2009 in a world-record $130 million transfer. Levante leveled in the second half through Angel Rodriguez, but 20-year-old Alvaro Morata headed an 84th-minute winner with his first touch of the ball on his debut to keep Jose Mourinho's third-placed defending champions eight points behind Barcelona. Real inflicted Levante's first home defeat this season, hitting the crossbar twice and missing a penalty by Xabi Alonso, whose late freekick set up substitute Morata's winner. Atletico Madrid retained second place after beating Getafe 2-0. Adrian Lopez scored a first-half opener after his initial attempt was saved, while Arda Turan's second-half effort was allowed to stand despite a clear handball in the buildup. In Italy, Inter Milan failed to reduce Juventus' four-point lead after suffering a surprise 3-2 defeat at Atalanta. Veteran striker German Denis netted in the 60th and 67th minutes to put the home side 3-1 ahead, while Inter reduced the deficit through his fellow Argentine Rodrigo Palacio before Atalanta substitute Facundo Parra was sent off in time added on. Napoli stayed third with a 4-2 win at Genoa, while fourth-placed Fiorentina won 3-1 away to troubled 2010-11 Serie A champions AC Milan. Milan's sixth defeat in 12 league games left last season's runners-up in 13th place, with coach Massimiliano Allegri's future increasingly in doubt. Lazio consolidated fifth place with a 3-2 win in the capital derby against Roma, as both teams had a player sent off. In Germany, Bayer Leverkusen missed the chance to go above fourth-placed champions Borussia Dortmund after losing 3-1 to third-bottom Wolfsburg. Leverkusen stayed a point above Hanover, who won 4-2 at Stuttgart.
Solution: Lionel Messi scores twice as Barcelona beat Mallorca 4-2 on Sunday .Argentine forward moves past Pele's landmark 75 goals in a calendar year .He now has nine more matches to beat the record set by Gerd Muller in 1972 .Messi's rival Cristiano Ronaldo suffers eye injury in Real Madrid victory .
Explanation: The given output correctly summarizes the football match given in the article.

Problem: WASHINGTON (CNN) -- States appear to be taking more action to keep guns out of the hands of people with mental health problems in the wake of the Virginia Tech shootings, new figures show. Mental health problems would prohibit potential buyers from purchasing a gun. Submissions of mentally ill patients' records to the FBI's National Instant Criminal Background Check System for gun buyers have more than doubled since the massacre in April, the Justice Department announced Thursday. Currently, states are not required to send reports of mental health problems, which would prohibit buyers from purchasing a gun. But after the shootings -- when a student with a history of mental health problems killed 32 people before taking his own life -- the number of submissions to the database grew from 174,863 during the first half of the year to 393,957 from July to November. The number of states submitting the information also grew, from 23 before the Virginia Tech tragedy to 32 after it. The majority of the new records came from California authorities, who submitted more than 200,000 entries, the Justice Department said. Ohio boosted the amount of entries from three in March of this year to 7,845 in November. "Instant background checks are essential to keeping guns out of the wrong hands, while still protecting the privacy of our citizens," Attorney General Michael Mukasey said to the National Association of Attorneys General. "But as we learned in the tragedy at Virginia Tech, the checks must be accurate and complete to be effective." Virginia Tech shooter Seung-Hui Cho was judged a danger to himself and ordered to get outpatient mental health treatment in 2005, but there was no indication he followed up. Virginia did not report his name to the FBI system because he hadn't been committed to a mental health facility. Cho bought one of the guns he used in the massacre online from an out-of-state dealer, picking it up from a Blacksburg, Virginia, pawn shop after background checks were complete. He bought his other pistol from a Roanoke gun dealer a month before the shooting. Officials say making sure information -- such as mental health records -- that would keep a person from buying a gun is available at a national level ensures that the individual doesn't go across state lines to try to make a purchase. Background checks, however, aren't necessary for firearms purchases made at gun shows or from a private seller, which, according to estimates, account for about half of the guns sold in the United States each year. E-mail to a friend .
Solution:
Number of records given to the FBI more than doubles since Virginia Tech massacre .
The number of states submitting the information also grows .
Attorney General Mukasey: Checks must be accurate and complete to be effective .
The majority of the new records come from California .