| id |
satisfied |
message |
| Arithmetic_R1 (evaluation 1) |
satisfied |
$NetWorth=89000 = $Assets=90000 - $Liabilities=1000 |
| MemberAggregation_MA1_OtherCurrentAssets (evaluation 1) |
satisfied |
$Total=8000 eq sum($Each=8000) |
| MemberAggregation_MA2_OtherNoncurrentAssets (evaluation 1) |
satisfied |
$Total=5000 eq sum($Each=5000) |
| MemberAggregation_MA3_OtherCurrentLiabilities (evaluation 1) |
satisfied |
$Total=0 eq sum($Each=0) |
| MemberAggregation_MA4_OtherNoncurrentLiabilities (evaluation 1) |
satisfied |
$Total=0 eq sum($Each=0) |
| MemberAggregation_MA5_OtherIncome (evaluation 1) |
satisfied |
$Total=0 eq sum($Each=0) |
| MemberAggregation_MA6_OtherExpenses (evaluation 1) |
satisfied |
$Total=48500 eq sum($Each=48500) |
| RollForward_RF1_NetWorthRollForward (evaluation 1) |
satisfied |
$NetWorth_BalanceStart=69000 + $NetIncomeExpenses=20000 = $NetWorth_BalanceEnd=89000 |