Revised sentence seems far better.
If the BNF-ish explanation is accepted, `An` should be replaced by `A<n>`.