@PROD( setname [ ( set_index_list) [ | cond_qualifier]]: expression) ;sets:r/1..5/:x;endsetsy=@prod(r(i)|i#ge#2:x(i));!y=x2*x3*x4*x5;