Die Grammatik von Oberon VII

Produktionsregeln P (in EBNF, Fortsetzung):

⟨ IfStatement ⟩ ---> ``IF'' ⟨ Expression ⟩ ``THEN''
⟨ StatementSequence ⟩
{ ``ELSIF'' ⟨ Expression ⟩ ``THEN''
⟨ StatementSequence ⟩ }
[ ``ELSE'' ⟨ StatementSequence ⟩ ]
``END''

⟨ CaseStatement ⟩ ---> ``CASE'' ⟨ Expression ⟩ ``OF''
⟨ Case ⟩ { ``|'' ⟨ Case ⟩ }
[ ``ELSE'' ⟨ StatementSequence ⟩ ]
``END''

⟨ Case ⟩ ---> [ ⟨ CaseLabelList ⟩ ``:'' ⟨ StatementSequence ⟩ ]

⟨ CaseLabelList ⟩ ---> ⟨ CaseLabels ⟩ { ``,'' ⟨ CaseLabels ⟩ }

⟨ CaseLabels ⟩ ---> ⟨ ConstExpression ⟩ [ ``..'' ⟨ ConstExpression ⟩ ]