process $::={\mathit{\text{protocol\_decl}}}^{\mathrm{?}}{\mathit{\text{property\_decl}}}^{\mathrm{?}}{\mathit{\text{rule\_decl}}}^{\mathrm{?}}$

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

$\mathrm{ }\mathbf{\text{protocol}}{\left(\mathit{\text{protocol}}\mathtt{\text{;;}}\right)}^{+}$

protocol $::=\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 \mathtt{\text{(}}\mathit{\text{protocol}}\mathtt{\text{)}}$

property_decl $::=\mathbf{\text{variable}}{\left(\mathit{\text{var\_name}}\mathtt{\text{;}}\right)}^{+}$

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

rule_decl $::=\mathbf{\text{rule}}{\left(\mathit{\text{rule}}\mathtt{\text{;}}\right)}^{+}$

rule $::=\mathbf{\text{on}}\mathit{\text{event\_name}}$

$\mathrm{\hspace{1em}\hspace{1em}}\mathbf{\text{when}}\mathit{\text{context}}$

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

context

action $::=\mathbf{\text{ensure}}\mathit{\text{ldl\_formula}}$

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