 Call these type 1 and type 2 resultant procedures. As a definition of sentence meaning we can say that, where \(p \in \mathrm{P}_{*+\mathrm{R}}\), \(*+\mathrm{R}\) means \(p\) in a group \(G\) if and only if members of \(G\) have, with respect to \(*+\mathrm{R}\), a type 1 or type 2 resultant procedure, the type being determined by the type of the mood operator \(*_{\psi}\). (Qualifications will, of course, be necessary to handle ‘audienceless’ cases.)