XBNF forall-stmt -to -rule to to is FORALL forall-header forall-assignment
forall-header -to -rule to to is ( forall-triplet-spec-list [ , scalar-mask-expr ] ) XBNF
XBNF forall-triplet-spec -to -rule to to is index-name = subscript : subscript [ : stride ] XBNF
XBNF forall-assignment -to -rule to to is assignment-stmt -to or pointer-assignment-stmt XBNF