在扩充的BNF范式给出的πADL描述体系结构的框架中，[1+···]表示其中的项出现（）。