Underpinning many common types of discourse, such as humour, sarcasm, politeness and satire, irony forms a crucial part of our everyday social interactions. But how well do we …