id |
satisfied |
message |
ASSERTION_BA-Part-1_BalanceSheetFoots (evaluation 1) |
satisfied |
$v:VARIABLE_A=12000 = $v:VARIABLE_B=12000 |
ASSERTION_BA-Part-1_BalanceSheetFoots (evaluation 2) |
satisfied |
$v:VARIABLE_A=10000 = $v:VARIABLE_B=10000 |
ASSERTION_BA-Part-2_ClassesOfPreferredStockSchedule_Shares (evaluation 1) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=6000) |
ASSERTION_BA-Part-2_ClassesOfPreferredStockSchedule_Shares (evaluation 2) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=6000) |
ASSERTION_BA-Part-2_ClassesOfPreferredStockSchedule_Amount (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=2000) |
ASSERTION_BA-Part-2_ClassesOfPreferredStockSchedule_Amount (evaluation 2) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=1000) |
ASSERTION_BA-Part-3_ClassesOfCommonStockSchedule_Shares (evaluation 1) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=[3000 3000 ]) |
ASSERTION_BA-Part-3_ClassesOfCommonStockSchedule_Shares (evaluation 2) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=[3000 3000 ]) |
ASSERTION_BA-Part-3_ClassesOfCommonStockSchedule_Amount (evaluation 1) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[500 500 ]) |
ASSERTION_BA-Part-3_ClassesOfCommonStockSchedule_Amount (evaluation 2) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[500 500 ]) |
ASSERTION_BB-Part-1_IncomeStatementSchedule (evaluation 1) |
satisfied |
$v:VARIABLE_Total=500 = ($v:VARIABLE_A=5000 - $v:VARIABLE_B=1000 - $v:VARIABLE_C=1000 - $v:VARIABLE_D=1000 +
$v:VARIABLE_E=1000 - $v:VARIABLE_F=1000 - $v:VARIABLE_G=1000 - $v:VARIABLE_H=500 + $v:VARIABLE_I=0)
|
ASSERTION_BB-Part-1_IncomeStatementSchedule (evaluation 2) |
satisfied |
$v:VARIABLE_Total=-4000 = ($v:VARIABLE_A=6000 - $v:VARIABLE_B=1000 - $v:VARIABLE_C=6000 - $v:VARIABLE_D=1000 +
$v:VARIABLE_E=1000 - $v:VARIABLE_F=1000 - $v:VARIABLE_G=1000 - $v:VARIABLE_H=1000 + $v:VARIABLE_I=0)
|
ASSERTION_BC-Part-1_MovementReconciles_CashAndCashEquivalentsPerCashFlowStatement (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=-1000 = $v:VARIABLE_BalanceEnd=0 |
ASSERTION_BC-Part-1_MovementReconciles_CashAndCashEquivalentsPerCashFlowStatement (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=-3000 + $v:VARIABLE_Change=4000 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_AdditionalPaidInCapital (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=0 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_AdditionalPaidInCapital (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=2000 |
ASSERTION_BF-Part-2_MovementReconciles_CommonStock (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_CommonStock (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_Equity (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=3000 = $v:VARIABLE_BalanceEnd=4000 |
ASSERTION_BF-Part-2_MovementReconciles_Equity (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=4000 + $v:VARIABLE_Change=2000 = $v:VARIABLE_BalanceEnd=6000 |
ASSERTION_BF-Part-2_MovementReconciles_PreferredStock (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=0 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_PreferredStock (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=2000 |
ASSERTION_BF-Part-2_MovementReconciles_RetainedEarningsAccumulatedLosses (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=0 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-2_MovementReconciles_RetainedEarningsAccumulatedLosses (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_BF-Part-3_MovementReconciles_PreferredStockShares (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=6000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=6000 |
ASSERTION_BF-Part-3_MovementReconciles_PreferredStockShares (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=6000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=6000 |
ASSERTION_BF-Part-4_MovementReconciles_CommonStockShares (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=6000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=6000 |
ASSERTION_BF-Part-4_MovementReconciles_CommonStockShares (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=6000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=6000 |
ASSERTION_KA-Part-3_MovementReconciles_Land (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_Land (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_BuildingsNet (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_BuildingsNet (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_FurnitureAndFixturesNet (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_FurnitureAndFixturesNet (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_OtherPropertyPlantAndEquipmentNet (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_OtherPropertyPlantAndEquipmentNet (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=1000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_KA-Part-3_MovementReconciles_PropertyPlantAndEquipmentNet (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=4000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=4000 |
ASSERTION_KA-Part-3_MovementReconciles_PropertyPlantAndEquipmentNet (evaluation 2) |
satisfied |
$v:VARIABLE_BalanceStart=4000 + $v:VARIABLE_Change=0 = $v:VARIABLE_BalanceEnd=4000 |
ASSERTION_KF-Part-3_LeaseholdLandAndBuildingsSchedule_Area (evaluation 1) |
satisfied |
$v:VARIABLE_Total=101000 = sum($v:VARIABLE_Each=[100000 1000 ]) |
ASSERTION_KF-Part-3_LeaseholdLandAndBuildingsSchedule_Amount (evaluation 1) |
satisfied |
$v:VARIABLE_Total=55000 = sum($v:VARIABLE_Each=[5000 50000 ]) |
ASSERTION_KF-Part-3_LeaseholdLandAndBuildingsSchedule_Amount (evaluation 2) |
satisfied |
$v:VARIABLE_Total=44000 = sum($v:VARIABLE_Each=[4000 40000 ]) |
ASSERTION_LB-Part-4_DebtInstrumentsSchedule (evaluation 1) |
satisfied |
$v:VARIABLE_Total=1500 = sum($v:VARIABLE_Each=[500 500 500 ]) |
ASSERTION_LB-Part-4_DebtInstrumentsSchedule (evaluation 2) |
satisfied |
$v:VARIABLE_Total=1500 = sum($v:VARIABLE_Each=[500 500 500 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ExternalSales (evaluation 1) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[2000 2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ExternalSales (evaluation 2) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=4000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ExternalSales (evaluation 3) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[4000 0 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_IntersegmentalSales (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=[1000 1000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_IntersegmentalSales (evaluation 2) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=2000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_IntersegmentalSales (evaluation 3) |
satisfied |
$v:VARIABLE_Total=0 = sum($v:VARIABLE_Each=[2000 -2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_RevenuesNet (evaluation 1) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[-2000 6000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_RevenuesNet (evaluation 2) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=[3000 3000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_RevenuesNet (evaluation 3) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=6000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_SegmentResult (evaluation 1) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[2000 2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_SegmentResult (evaluation 2) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=4000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_SegmentResult (evaluation 3) |
satisfied |
$v:VARIABLE_Total=3000 = sum($v:VARIABLE_Each=[4000 -1000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AssetsSegmental (evaluation 1) |
satisfied |
$v:VARIABLE_Total=10000 = sum($v:VARIABLE_Each=[5000 5000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AssetsSegmental (evaluation 2) |
satisfied |
$v:VARIABLE_Total=10000 = sum($v:VARIABLE_Each=10000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AssetsSegmental (evaluation 3) |
satisfied |
$v:VARIABLE_Total=8000 = sum($v:VARIABLE_Each=[10000 -2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_LiabilitiesSegmental (evaluation 1) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=[3000 3000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_LiabilitiesSegmental (evaluation 2) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=6000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_LiabilitiesSegmental (evaluation 3) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[6000 -2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Depreciation (evaluation 1) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=[250 250 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Depreciation (evaluation 2) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=500) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Depreciation (evaluation 3) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=[0 500 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Amortization (evaluation 1) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=[250 250 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Amortization (evaluation 2) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=500) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_Amortization (evaluation 3) |
satisfied |
$v:VARIABLE_Total=500 = sum($v:VARIABLE_Each=[0 500 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_DepreciationAndAmortization (evaluation 1) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[500 500 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_DepreciationAndAmortization (evaluation 2) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=1000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_DepreciationAndAmortization (evaluation 3) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[1000 0 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_CapitalAdditions (evaluation 1) |
satisfied |
$v:VARIABLE_Total=1500 = sum($v:VARIABLE_Each=[750 750 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_CapitalAdditions (evaluation 2) |
satisfied |
$v:VARIABLE_Total=1500 = sum($v:VARIABLE_Each=1500) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_CapitalAdditions (evaluation 3) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[-500 1500 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ImpairmentLossesReversalsRecognizedInIncome (evaluation 1) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=[2000 2000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ImpairmentLossesReversalsRecognizedInIncome (evaluation 2) |
satisfied |
$v:VARIABLE_Total=4000 = sum($v:VARIABLE_Each=4000) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_ImpairmentLossesReversalsRecognizedInIncome (evaluation 3) |
satisfied |
$v:VARIABLE_Total=1000 = sum($v:VARIABLE_Each=[4000 -3000 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AverageNumberEmployees (evaluation 1) |
satisfied |
$v:VARIABLE_Total=300 = sum($v:VARIABLE_Each=[0 300 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AverageNumberEmployees (evaluation 2) |
satisfied |
$v:VARIABLE_Total=300 = sum($v:VARIABLE_Each=[200 100 ]) |
ASSERTION_OB-Part-1_BusinessSegmentsSchedule_AverageNumberEmployees (evaluation 3) |
satisfied |
$v:VARIABLE_Total=300 = sum($v:VARIABLE_Each=300) |
ASSERTION_OC-Part-3_DirectorCompensationSchedule_Salary (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=[1000 1000 ]) |
ASSERTION_OC-Part-3_DirectorCompensationSchedule_Bonuses (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=[1000 1000 ]) |
ASSERTION_OC-Part-3_DirectorCompensationSchedule_DirectorFees (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=[1000 1000 ]) |
ASSERTION_OC-Part-3_DirectorCompensationSchedule_TotalSalariesBonusesDirectorFees (evaluation 1) |
satisfied |
$v:VARIABLE_Total=6000 = sum($v:VARIABLE_Each=[3000 3000 ]) |
ASSERTION_OC-Part-3_DirectorCompensationSchedule_Options (evaluation 1) |
satisfied |
$v:VARIABLE_Total=2000 = sum($v:VARIABLE_Each=[1000 1000 ]) |
ASSERTION_OC-Part-4_ShareOwnershipPlansSchedule (evaluation 1) |
satisfied |
$v:VARIABLE_BalanceStart=0 + $v:VARIABLE_Change=1000 = $v:VARIABLE_BalanceEnd=1000 |
ASSERTION_PB-Part-2_ReconciliationOfCashAndCashEquivalentsSchedule (evaluation 1) |
satisfied |
$v:VARIABLE_Total=-1000 = sum($v:VARIABLE_Each=[-500 -500 ]) |
ASSERTION_PB-Part-2_ReconciliationOfCashAndCashEquivalentsSchedule (evaluation 2) |
satisfied |
$v:VARIABLE_Total=0 = sum($v:VARIABLE_Each=[500 -500 ]) |
ASSERTION_PC-Part-3-SalesAnalysisFoots (evaluation 1) |
satisfied |
$v:VARIABLE_Total_Customer=4000 = sum($v:VARIABLE_Each_Customer=[2000 1000 1000 ]) |