Yes. You could also use the more compact syntax:
@constraint(TB, [i=1:e, j=1:s; ws[i+1,3]==1], x[i,j] == 1)