How to use for loop or collection in SemialgebraicSets?

General Usage
,
1

I’m trying to specify a semialgebraic set in a SumofSquare model:
@set vec(A*vec_x1)[1]>=0 && vec(A*vec_x1)[2] && vec(A*vec_x1)[3]>=0&&vec(A*vec_x1)[4]
where A is a two-dimensional polyvar, vec_x1 is a constant vector. I wonder how can I rewrite this semialgebraic set using for loop or collection so that it can be generated to a larger scale. Thanks in advance for your help!