question on syntax of 'group' in address-list

I've gone through the RFCs and done some additional googling,
and haven't been able to confirm the answer to this question: what
exactly is the syntax when a group is included in an address-list? (See
http://tools.ietf.org/html/rfc5322#section-3.4).  The question is, if
another address follows the group, are they separated from each other by
';' or by ';,'?  The ABNF seems to call for the latter, but I can't find
any example showing it.  I'm sure that I should accept both on input,
but I'd like to generate the correct form.  Does anyone have confirmation
or contradiction for my interpretation?

--
R. David Murray           http://www.bitdance.com