We have the following denotational semantic mappings defined in our lectures:

$M_{\text{s}\text{t}\text{a}\text{t}\text{e}}$ : string x state $->$ state U $\{$error$)$

$M_{\text{i}\text{n}\text{t}\text{e}\text{g}\text{e}\text{r}}$ : string $x$ state $->$ integer $U\{$error$)$

$M_{\text{b}\text{o}\text{o}\text{l}\text{e}\text{a}\text{n}}$ string $x$ state $->\{$true$,$ false, error