| Formulas Compiled | Formula Fired | Assertions Compiled | Assertions Fired | Assertions Satisfied | Assertions Not Satisfied |
|---|---|---|---|---|---|
| 0 | 0 | 3 | 3 | 3 | 0 |
| id | satisfied | message |
|---|---|---|
| Arithmetic_CF01 (evaluation 1) | satisfied | $NetCashFlow=3500 = ($NetCashFlowOperatingActivities=1500 + $NetCashFlowFinancingActivities=1000 + $NetCashFlowInvestingActivities=1000) |
| Arithmetic_IS01 (evaluation 1) | satisfied | $ComprehensiveIncome=3000 = ($Revenues=7000 - $Expenses=3000 + $Gains=1000 - $Losses=2000) |
| RollForward_CF01 (evaluation 1) | satisfied | $Assets_BalanceStart=0 + $NetCashFlow=3500 = $Assets_BalanceEnd=3500 |