算術式

構文

statement = conditional / unconditional;
unconditional = loopst / cases / cibtrikst / uist / treest /
block / null / exp;
conditional = "IF" conjunct "THEN" unconditional (
   "ELSE" conditional /
   .empty);
block = "begin" exp $('; exp) "end";

式は文でありえます。条件文ではelse部分は任意ですが、式ではそれは必須です。これは、構文規則の左部分が並べられている方法の副作用です。