id |
satisfied |
message |
FAC_BS1_BalanceSheetBalances (evaluation 1) |
satisfied |
$Assets=12000 = $LiabilitiesAndEquity=12000 |
FAC_BS1_BalanceSheetBalances (evaluation 2) |
satisfied |
$Assets=12000 = $LiabilitiesAndEquity=12000 |
FAC_BS2_AssetsEqualsCurrentPlusNoncurrentAssets (evaluation 1) |
satisfied |
$Assets=12000 = $CurrentAssets=5000 + $NoncurrentAssets=7000 |
FAC_BS2_AssetsEqualsCurrentPlusNoncurrentAssets (evaluation 2) |
satisfied |
$Assets=12000 = $CurrentAssets=5000 + $NoncurrentAssets=7000 |
FAC_BS3_LiabilitiesEqualsCurrentPlusNoncurrentLiabilities (evaluation 1) |
satisfied |
$Liabilities=6000 = $CurrentLiabilities=5000 + $NoncurrentLiabilities=1000 |
FAC_BS3_LiabilitiesEqualsCurrentPlusNoncurrentLiabilities (evaluation 2) |
satisfied |
$Liabilities=6000 = $CurrentLiabilities=5000 + $NoncurrentLiabilities=1000 |
FAC_BS4_LiabilitiesAndEquityEqualsLiabilitiesPlusEquity (evaluation 1) |
satisfied |
$LiabilitiesAndEquity=12000 = $Liabilities=6000 + $Equity=6000 |
FAC_BS4_LiabilitiesAndEquityEqualsLiabilitiesPlusEquity (evaluation 2) |
satisfied |
$LiabilitiesAndEquity=12000 = $Liabilities=6000 + $Equity=6000 |