SUM

From ASCEND

The SUM statement can be used in relations to add up values from an array, or other array-based summations. The expression being summed can be more complex, involving many terms, if desired.

T_avg_C * n_C = SUM[a[i] | i IN C];

See also Arrays and sets, MIN and MAX.