sentences:  Antunes made his official Roma debut on 12 December 2007, during the campaign's UEFA Champions League game against Manchester United.He was chosen as Man of the match in a poll conducted by the former's official website.On 20 January 2008, Antunes played his first Serie A match, coming on as a 77th-minute substitute in a 2–0 home win over Calcio Catania.