| 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 | 
         
            | FAC_BS5_EquityEqualsParentEquityPlusNoncontrollingInterestEquity (evaluation 1) | satisfied | $Equity=6000 = $EquityAttributableToParent=6000 + $EquityAttributableToNoncontrollingInterest=0 | 
         
            | FAC_BS5_EquityEqualsParentEquityPlusNoncontrollingInterestEquity (evaluation 2) | satisfied | $Equity=6000 = $EquityAttributableToParent=6000 + $EquityAttributableToNoncontrollingInterest=0 |