process $::={\mathit{\text{decl}}}^{+}$

decl $::=\mathit{\text{event\_decl}}\mid \mathit{\text{protocol\_decl}}\mid \mathit{\text{variable\_decl}}\mid \mathit{\text{property\_decl}}\mid \mathit{\text{rule\_decl}}$

event_decl $::=\mathbf{\text{event}}{\left(\mathit{\text{event\_name}}{\left(\mathtt{\text{,}}\mathit{\text{event\_name}}\right)}^{\ast }\mathtt{\text{;}}\right)}^{+}$

protocol_decl $::=\mathbf{\text{protocol}}{(\mathit{\text{protocol}};;)}^{+}$

protocol $::=\mathbf{\text{any}}\mid \mathit{\text{event\_name}}\mid \mathit{\text{protocol}}\mathtt{\text{;}}\mathit{\text{protocol}}$

$\mathrm{\hspace{1em}}\mid \mathit{\text{protocol}}\mathtt{\text{+}}\mathit{\text{protocol}}\mid \mathit{\text{protocol}}\mathtt{\text{*}}\mid \mathit{\text{protocol}}\mathtt{\text{?}}\mid \mathtt{\text{(}}\mathit{\text{protocol}}\mathtt{\text{)}}$

variable_decl $::=\mathbf{\text{variable}}{\left(\mathit{\text{var\_name}}{\left(\mathtt{\text{,}}\mathit{\text{var\_name}}\right)}^{\ast }{\left(\mathtt{\text{:}}\mathit{\text{type}}\right)}^{\mathrm{?}}\mathtt{\text{;}}\right)}^{+}$

type $::=\mathbf{\text{prop}}\mid \mathbf{\text{nat}}\mathtt{\text{(}}\mathit{\text{nat\_num}}\mathtt{\text{)}}$

property_decl $::=\mathbf{\text{property}}{\left(\mathit{\text{ldl\_formula}}\mathtt{\text{;}}\right)}^{+}$

rule_decl $::=\mathbf{\text{rule}}{\mathit{\text{rule}}}^{+}$

rule $::={\mathbf{\text{except}}}^{\mathrm{?}}\mathbf{\text{on}}\mathit{\text{event\_name}}{\left(\mathtt{\text{,}}\mathit{\text{event\_name}}\right)}^{\ast }{\left(\mathbf{\text{{}}\mathit{\text{code}}\mathbf{\text{}}}\right)}^{\mathrm{?}}$

$\mathrm{\hspace{1em}\hspace{1em}}{\left(\mathbf{\text{when}}\mathit{\text{context}}{\left(\mathbf{\text{{}}\mathit{\text{code}}\mathbf{\text{}}}\right)}^{\mathrm{?}}\right)}^{\mathrm{?}}$

$\mathrm{\hspace{1em}\hspace{1em}}{\mathit{\text{action}}}^{+}$

context

action $::=\mathbf{\text{ensure}}\mathit{\text{ldl\_formula}}{\left(\mathbf{\text{{}}\mathit{\text{code}}\mathbf{\text{}}}\right)}^{\mathrm{?}}$

$\mathrm{\hspace{1em}}\mid \mathbf{\text{raise}}\mathit{\text{event\_name}}{\left(\mathtt{\text{+}}\mathit{\text{event\_name}}\right)}^{\ast }{\left(\mathbf{\text{{}}\mathit{\text{code}}\mathbf{\text{}}}\right)}^{\mathrm{?}}$

$\mathrm{\hspace{1em}}\mid \mathbf{\text{do}}\mathbf{\text{{}}\mathit{\text{code}}\mathbf{\text{}}}$

$\mathrm{\hspace{1em}}\mid \mathbf{\text{preserve}}\mathit{\text{proposition}}$