Доброго времени суток.

Проблема вот в чём:
выбираю два объекта <сумма>, <признак суммы>. далее создаю переменную <m_Сумма>: if <признак суммы> = 1 then <сумма> * (-1) else <сумма>.

Если в очтёт выводить:
1) (Sum(<m_Сумма>), <признак суммы>)
то Sum(<m_Сумма>) вычисляется верно

2) (Sum(<m_Сумма>) ForAll <признак суммы>, <признак суммы>)
то (Sum(<m_Сумма>) ForAll <признак суммы>) тоже вычисляется верно (т.е. для всех признаков одно и тоже суммарное значение )

3) Sum(<m_Сумма>) ForAll <признак суммы>
то #COMPUTATION

?