body1 body2 ...は1個以上の式にマッチする
body ...は0個以上の式にマッチする
規格上式を本体に1個以上持つ事が要求されているので前者で記述されている
ちなみに...も1つの識別子だからbody1 body2 ...は3要素になります