-- Syntax
CONDENSE condenserOp
OVER     var IN mintervalExp
WHERE    booleanExp
USING    cellExp

-- Returning a scalar representing the sum of all array values, multiplied by 2
CONDENSE +
OVER     x IN sdom(a)
USING    2 * a[ x ]