TASK DEFINITION: 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.
PROBLEM: (CNN)  -- Space shuttle Discovery launched just before midnight Friday on a mission to the international space station. Space shuttle Discovery lifts off late Friday from Kennedy Space Center in a photo from iReporter Alan Walters. The crew of seven astronauts includes one from Mexico and another from Sweden. One of those seven, Nicole Stott, will remain on the station as a flight engineer, while astronaut Timothy Kopra is to return home aboard the shuttle. Also on board: The Leonardo logistics module, science experiments and the Combined Operational Load Bearing External Resistance Treadmill (COLBERT), named for fake newsman Stephen Colbert of Comedy Central's "The Colbert Report." Colbert won an online poll conducted by NASA to name the newest space station compartment, but Colbert and the space agency compromised to give the moniker to the treadmill. The new compartment was given the name Tranquility. NASA astronaut Cady Coleman said the treadmill is an essential addition to the space station.  Watch shuttle launch » . "We have the treadmill now to keep them healthy, which is really part of being able to come home in one piece. So it is an essential part," Coleman said. iReport.com: Discovery lights night sky . Discovery's liftoff, originally set for Tuesday, had been postponed three times -- first for bad weather, and twice more while mission managers checked out indications of a faulty valve.

SOLUTION: Space shuttle Discovery launches just before midnight Friday .
Discovery is scheduled to fly to international space station with a crew of seven .
Logistics module, science experiments, Stephen Colbert treadmill also aboard .

PROBLEM: (CNN)  -- Park Ji-sung headed a second half winner as Manchester United beat bitter rivals Liverpool 2-1 to reclaim top spot in the English Premier League on Sunday. Spanish international striker Fernando Torres gave Liverpool a shock fifth-minute lead at Old Trafford, but Wayne Rooney quickly equalized from the penalty spot. The goal came in controversial circumstances with Javier Mascherano's foul on Antonio Valencia appearing to start outside the area. Rooney's initial spotkick was saved by Pepe Reina, but the England striker continued his rich scoring vein by hitting home the rebound in the 12th minute. In a second half of few openings, South Korean star Park dived to power home the winner on the hour mark from man of the match Darren Fletcher's superb cross. Torres, who had started and finished the move to put Liverpool ahead, fluffed a great chance to equalize in the the last minute, but his shot ballooned high and Yossi Benayoun could only head it straight at Edwin van der Sar. The win takes United two points clear of Arsenal on 69 points after 31 games. Third-placed Chelsea were later held to a 1-1 draw at Blackburn to be four points adrift, but with a game in hand. It was another setback for Chelsea, who were knocked out of the Champions League by Inter Milan in midweek. Didier Drogba gave Carlo Ancelotti's men an early lead at Ewood Park as he neatly converted Nicolas Anelka's cross, but they were unable to press home their advantage. El-Hadji Diouf equalized for the home side in the 70th minute when he rose above Paulo Ferreira to cleverly direct Michel Salgado's cross past Petr Cech. Fletcher claimed their earlier victory over Liverpool, who are battling with Tottenham, Manchester City and Aston Villa for the final Champions League spot, had put the pressure on Chelsea. "The team that puts the most consistent run to the end of the season will probably be the champions," Fletcher told Sky Sports. United's city rivals Manchester City also enjoyed a crucial 2-1 win on Sunday as they beat Fulham at Craven Cotage. Fulham were feeling the effects of their famous win over Juventus in midweek and fell behind to first half goals from Roque Santa Cruz and Carlos Tevez, who starred for the visitors. Fulham captain Danny Murphy pulled one back from the spot in the 75th minute but they could not force an equalizer. City move above Liverpool into fifth place, two points adrift of fourth-placed Tottenham, but with a game in hand.

SOLUTION: Park Ji-sung heads a second half winner to give Manchester United 2-1 win .
Fernando Torres puts Liverpool ahead with Wayne Rooney leveling from spot .
Victory sees United reclaim top spot in the English Premier League .
NEW: Chelsea held 1-1 at Blackburn and are four points adrift with a game in hand .

PROBLEM: (CNN) -- Cristiano Ronaldo grabbed a hat-trick as Real Madrid crushed Malaga 7-0 to close the gap on Spanish league leaders Barcelona. The Portuguese striker ended his four-match goal drought in style as Jose Mourinho's side reduced Barca's advantage at the top of La Liga to seven points. Second-bottom Malaga had no answer to a powerful attacking display and finished the game with nine men after defender Manolo was sent off and Cala limped off injured after they had made all their permitted substitutions. Malaga coach Manuel Pelligrini, who was replaced at Real Madrid by Mourinho, chose to rest some of his best players and the decision came back to haunt him at the Bernabeu. France international Karim Benzema began the rout after 27 minutes when he diverted Xabi Alonso's free kick into the net. Angel Di Maria added a second nine minutes later after capitalizing on a missed interception to slot the ball into the bottom corner. Just before the break Marcelo slammed Di Maria's pass into the corner of the net to make it 3-0. There was no let up after the interval as Ronaldo rounded off a flowing move to register a fourth before Benzema got his second with a header from Marcelo's cross. Manolo handled in the area to give Real a penalty and was shown a second yellow card by the referee. Ronaldo made no mistake from the spot. And the striker completed his hat-trick by converting Sergio Canales' cross at the near post with 13 minutes remaining before asking to be substituted.

SOLUTION:
Real Madrid beat Malaga 7-0 in Spain's La Liga .
Cristiano Ronaldo scores a hat-trick as Real close gap on leaders Barcelona .
Karim Benzema scores twice as Real move to within seven points of Barca .