Daniel Marcu, Graeme Hirst: A Formal and Computational Characterization of Pragmatic Infelicities. ECAI 1996: 587-591