Headlines, pragmatics and computation