"Grice pointed out that conversational implicatures have the following properties: (i) they are calculable, that is, inferable from, among other things, the cooperative principle and the conversational maxims; (ii) they are cancelable either explicitly"