 Grice introduces a canonical form for specifying resultant procedures. He does so by generalizing the special notation he has already used in specifying meaning. Recall that he represented the indicative case by: \(U\) means that \(\vdash\)(the door is closed);the imperative: \(U\) means that !(the door is closed). The indicative sentence ‘\(\vdash\)(the door is closed)’ is associated with the psychological state of belief: speakers can and do utter that sentence with the intention that audiences respond by believing the door is closed. The imperative ‘! (the door is closed)’ is similarly associated with an audience response of action: speakers can and do utter that sentence with intention that that audiences respond by closing the door. ‘\(\vdash\)’ and ‘!’ are examples of a type of syntactic item Grice calls a mood operator. He assumes that the syntactic structure of sentences divides into a mood operator and the rest of the structure. Grice uses ‘\(*+\mathrm{R}\)’ to represent this division. Now let \(\mathrm{P}_{*+R}\) be the set of propositions associated with \(*+\mathrm{R}\), and \(\psi\) the psychological state or action associated with \(*\). Then a resultant procedure for \(*+\mathrm{R}\) takes one of two forms. \(U\) has the resultant procedure of: