| Formulas Compiled | Formula Fired | Assertions Compiled | Assertions Fired | Assertions Satisfied | Assertions Not Satisfied |
|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 | 0 |
| id | satisfied | message |
|---|---|---|
| Arithmetic_IS02 (evaluation 1) | satisfied | $NetIncome=3000 = ($IncomeFromNormalActivitiesOfEntity=2000 + $IncomeFromPeripheralOrIncidentalTransactionsOfEntity=1000) |