proton {<proton-statement>} end


<proton-statement> :==