ForCES protocol BNF expression on MAIN-TLV?

In the protocol draft version 8,the ForCES message are dipicted using BNF 
which has the following layout:
PL level PDU := MAINHDR [MAIN-TLV]
   MAIN-TLV := [LFBselect-TLV] / [REDIRECT-TLV] /
               [ASResult-TLV] / [ASTreason-TLV]
from that,I can make sure that there can be at most one LFBselect-TLV in a 
forces message,but we have told the user that in order to faciliate the 
operation of batch,we can target mulitple LFBs in one ForCES message which 
means multiple LFBselect-TLVs,so if we really mean that,should we express 
it clearly in BNF,I am not a BNF expert,so i don't know whether the 
expression in the protocol draft is valid for us,is it possible to rewrite 
MAIN-TLV as follows: 
   MAIN-TLV := 1*[LFBselect-TLV] / [REDIRECT-TLV] /
               [ASResult-TLV] / [ASTreason-TLV]
If there are some mistakes,sorry for my ignorance.
Yours,Fenggen

_________________________________________________________________
涓虹杩琛浜ゆ锛璇蜂娇 MSN Messenger:  http://messenger.msn.com/cn