Generated by Pacioli version 54f833c (updated 2 hours ago). Analysis at 2021-06-16T22:09:05+0000 for charles.hoffman@me.com. This page will remain online at https://pacioli.logicalcontracts.com/reportAnalysis/c52dcf4088acbd1f7fe9451f4239108c2e441fa9.report/index.html for about 28 days.
Type | Defined | Bound | Derived | OK | Fail |
---|---|---|---|---|---|
calculation | 17 | 28 | 0 | 28 | 0 |
disclosure | 20 | 20 | 0 | 20 | 0 |
disclosureCheck | 20 | 20 | 0 | 20 | 0 |
existenceAssertion | 0 | 0 | 0 | 0 | 0 |
formula | 8 | 0 | 0 | 0 | 0 |
valueAssertion | 24 | 37 | 0 | 37 | 0 |
Type | Name | Rule Expression | Prolog form (technical) | |
---|---|---|---|---|
formula | FAC_IMPUTE_BS_Impute_04
|
if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)then Assets-CurrentAssets else null 0 instance: |
'FAC_IMPUTE_BS_Impute_04' formula if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)then Assets-CurrentAssets else null variables CurrentAssets: [concept(fac:'CurrentAssets')], NoncurrentAssets: [output('INF',null),concept(fac:'NoncurrentAssets')], Assets: [concept(fac:'Assets')]. | |
formula | FAC_IMPUTE_BS_Impute_12
|
if NoncurrentLiabilities eq null and exists(Liabilities)and exists(CurrentLiabilities)then Liabilities-CurrentLiabilities else null 0 instance: |
'FAC_IMPUTE_BS_Impute_12' formula if NoncurrentLiabilities eq null and exists(Liabilities)and exists(CurrentLiabilities)then Liabilities-CurrentLiabilities else null variables CurrentLiabilities: [concept(fac:'CurrentLiabilities')], Liabilities: [concept(fac:'Liabilities')], NoncurrentLiabilities: [output('INF',null),concept(fac:'NoncurrentLiabilities')]. | |
formula | FAC_IMPUTE_BS_Impute_14
|
if Liabilities eq null and exists(CurrentLiabilities)and exists(NoncurrentLiabilities)then CurrentLiabilities+NoncurrentLiabilities else null 0 instance: |
'FAC_IMPUTE_BS_Impute_14' formula if Liabilities eq null and exists(CurrentLiabilities)and exists(NoncurrentLiabilities)then CurrentLiabilities+NoncurrentLiabilities else null variables NoncurrentLiabilities: [concept(fac:'NoncurrentLiabilities')], CurrentLiabilities: [concept(fac:'CurrentLiabilities')], Liabilities: [output('INF',null),concept(fac:'Liabilities')]. | |
formula | FAC_IMPUTE_BS_Impute_56
|
if NoncurrentLiabilities eq null and exists(CurrentLiabilities)and exists(Liabilities)then Liabilities-CurrentLiabilities else null 0 instance: |
'FAC_IMPUTE_BS_Impute_56' formula if NoncurrentLiabilities eq null and exists(CurrentLiabilities)and exists(Liabilities)then Liabilities-CurrentLiabilities else null variables Liabilities: [concept(fac:'Liabilities')], CurrentLiabilities: [concept(fac:'CurrentLiabilities')], NoncurrentLiabilities: [output('INF',null),concept(fac:'NoncurrentLiabilities')]. | |
formula | FAC_IMPUTE_BS_Impute_01
|
if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null 0 instance: |
'FAC_IMPUTE_BS_Impute_01' formula if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null variables NoncurrentAssets: [concept(fac:'NoncurrentAssets')], Assets: [output('INF',null),concept(fac:'Assets')], CurrentAssets: [concept(fac:'CurrentAssets')], LiabilitiesAndEquity: [concept(fac:'LiabilitiesAndEquity')]. | |
formula | FAC_IMPUTE_BS_Impute_02
|
if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and exists(LiabilitiesAndEquity)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null 0 instance: |
'FAC_IMPUTE_BS_Impute_02' formula if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and exists(LiabilitiesAndEquity)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null variables NoncurrentAssets: [concept(fac:'NoncurrentAssets')], Assets: [output('INF',null),concept(fac:'Assets')], CurrentAssets: [concept(fac:'CurrentAssets')], LiabilitiesAndEquity: [concept(fac:'LiabilitiesAndEquity')]. | |
formula | FAC_IMPUTE_BS_Impute_03
|
if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)and exists(Liabilities)and exists(Equity)and exists(LiabilitiesAndEquity)and LiabilitiesAndEquity=Liabilities+Equity then CurrentAssets else null 0 instance: |
'FAC_IMPUTE_BS_Impute_03' formula if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)and exists(Liabilities)and exists(Equity)and exists(LiabilitiesAndEquity)and LiabilitiesAndEquity=Liabilities+Equity then CurrentAssets else null variables LiabilitiesAndEquity: [concept(fac:'LiabilitiesAndEquity')], Equity: [concept(fac:'Equity')], Liabilities: [concept(fac:'Liabilities')], CurrentAssets: [concept(fac:'CurrentAssets')], NoncurrentAssets: [concept(fac:'NoncurrentAssets')], Assets: [output('INF',null),concept(fac:'Assets')]. | |
formula | FAC_IMPUTE_BS_Impute_05
|
if LiabilitiesAndEquity eq null and exists(Assets)then Assets else null 0 instance: |
'FAC_IMPUTE_BS_Impute_05' formula if LiabilitiesAndEquity eq null and exists(Assets)then Assets else null variables Assets: [concept(fac:'Assets')], LiabilitiesAndEquity: [output('INF',null),concept(fac:'LiabilitiesAndEquity')]. | |
valueAssertion | FAC_CONSISTENCY_17
|
NetIncomeLoss=Revenue-Expenses+Gains-Losses 3 instances: fac:NetIncomeLoss[-750] = fac:Revenue[1000] - fac:Expenses[1000] + fac:Gains[250] - fac:Losses[1000] fac:NetIncomeLoss[3750] = fac:Revenue[6000] - fac:Expenses[2000] + fac:Gains[750] - fac:Losses[1000] fac:NetIncomeLoss[3000] = fac:Revenue[7000] - fac:Expenses[3000] + fac:Gains[1000] - fac:Losses[2000] |
'FAC_CONSISTENCY_17' valueAssertion NetIncomeLoss=Revenue-Expenses+Gains-Losses variables Losses: [concept(fac:'Losses')], Gains: [concept(fac:'Gains')], Expenses: [concept(fac:'Expenses')], Revenue: [concept(fac:'Revenue')], NetIncomeLoss: [concept(fac:'NetIncomeLoss')]. | |
valueAssertion | FAC_CONSISTENCY_59
|
ComprehensiveIncomeLoss=NetIncomeLoss+OtherComprehensiveIncome |
'FAC_CONSISTENCY_59' valueAssertion ComprehensiveIncomeLoss=NetIncomeLoss+OtherComprehensiveIncome variables OtherComprehensiveIncome: [concept(fac:'OtherComprehensiveIncome')], NetIncomeLoss: [concept(fac:'NetIncomeLoss')], ComprehensiveIncomeLoss: [concept(fac:'ComprehensiveIncomeLoss')]. | |
valueAssertion | FAC_CONSISTENCY_2
|
Assets=LiabilitiesAndEquity |
'FAC_CONSISTENCY_2' valueAssertion Assets=LiabilitiesAndEquity variables LiabilitiesAndEquity: [concept(fac:'LiabilitiesAndEquity')], Assets: [concept(fac:'Assets')]. | |
valueAssertion | FAC_CONSISTENCY_3
|
Assets=CurrentAssets+NoncurrentAssets |
'FAC_CONSISTENCY_3' valueAssertion Assets=CurrentAssets+NoncurrentAssets variables NoncurrentAssets: [concept(fac:'NoncurrentAssets')], CurrentAssets: [concept(fac:'CurrentAssets')], Assets: [concept(fac:'Assets')]. | |
valueAssertion | FAC_CONSISTENCY_4
|
Liabilities=CurrentLiabilities+NoncurrentLiabilities |
'FAC_CONSISTENCY_4' valueAssertion Liabilities=CurrentLiabilities+NoncurrentLiabilities variables NoncurrentLiabilities: [concept(fac:'NoncurrentLiabilities')], CurrentLiabilities: [concept(fac:'CurrentLiabilities')], Liabilities: [concept(fac:'Liabilities')]. | |
valueAssertion | FAC_CONSISTENCY_5
|
LiabilitiesAndEquity=Liabilities+Equity |
'FAC_CONSISTENCY_5' valueAssertion LiabilitiesAndEquity=Liabilities+Equity variables Equity: [concept(fac:'Equity')], Liabilities: [concept(fac:'Liabilities')], LiabilitiesAndEquity: [concept(fac:'LiabilitiesAndEquity')]. | |
valueAssertion | Adjustment_ADJ01
|
Restated=OrigionallyStated+CorrectionOfAnError+ChangesInAccountingPolicy |
'Adjustment_ADJ01' valueAssertion Restated=OrigionallyStated+CorrectionOfAnError+ChangesInAccountingPolicy variables ChangesInAccountingPolicy: [explicitDimension(proof:'ReportDateAxis',[proof:'CurrentReportMember']),concept(proof:'ChangesInAccountingPolicy')], CorrectionOfAnError: [explicitDimension(proof:'ReportDateAxis',[proof:'CurrentReportMember']),concept(proof:'CorrectionOfAnError')], OrigionallyStated: [explicitDimension(proof:'ReportDateAxis',[proof:'PriorReportMember']),concept(proof:'Equity')], Restated: [explicitDimension(proof:'ReportDateAxis',[proof:'CurrentReportMember']),concept(proof:'Equity')]. | |
valueAssertion | Arithmetic_BS01
|
Assets=Liabilities+Equity |
'Arithmetic_BS01' valueAssertion Assets=Liabilities+Equity variables Equity: [concept(proof:'Equity')], Liabilities: [concept(proof:'Liabilities')], Assets: [concept(proof:'Assets')]. | |
valueAssertion | Arithmetic_BS02
|
Assets=CurrentAssets+NoncurrentAssets |
'Arithmetic_BS02' valueAssertion Assets=CurrentAssets+NoncurrentAssets variables NoncurrentAssets: [concept(proof:'NoncurrentAssets')], CurrentAssets: [concept(proof:'CurrentAssets')], Assets: [concept(proof:'Assets')]. | |
valueAssertion | Arithmetic_BS03
|
Liabilities=CurrentLiabilities+NoncurrentLiabilities |
'Arithmetic_BS03' valueAssertion Liabilities=CurrentLiabilities+NoncurrentLiabilities variables NoncurrentLiabilities: [concept(proof:'NoncurrentLiabilities')], CurrentLiabilities: [concept(proof:'CurrentLiabilities')], Liabilities: [concept(proof:'Liabilities')]. | |
valueAssertion | Arithmetic_BS04
|
Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests |
'Arithmetic_BS04' valueAssertion Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests variables EquityAttributableToNoncontrollingInterests: [concept(proof:'EquityAttributableToNoncontrollingInterests')], EquityAttributableToControllingInterests: [concept(proof:'EquityAttributableToControllingInterests')], Equity: [concept(proof:'Equity')]. | |
valueAssertion | Arithmetic_CF01
|
NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities |
'Arithmetic_CF01' valueAssertion NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities variables NetCashFlowInvestingActivities: [concept(proof:'NetCashFlowInvestingActivities')], NetCashFlowFinancingActivities: [concept(proof:'NetCashFlowFinancingActivities')], NetCashFlowOperatingActivities: [concept(proof:'NetCashFlowOperatingActivities')], NetCashFlow: [concept(proof:'NetCashFlow')]. | |
valueAssertion | Arithmetic_IS01
|
NetIncome=Revenues-Expenses+Gains-Losses 3 instances: proof:NetIncome[-750] = proof:Revenues[1000] - proof:Expenses[1000] + proof:Gains[250] - proof:Losses[1000] proof:NetIncome[3750] = proof:Revenues[6000] - proof:Expenses[2000] + proof:Gains[750] - proof:Losses[1000] proof:NetIncome[3000] = proof:Revenues[7000] - proof:Expenses[3000] + proof:Gains[1000] - proof:Losses[2000] |
'Arithmetic_IS01' valueAssertion NetIncome=Revenues-Expenses+Gains-Losses variables Losses: [concept(proof:'Losses')], Gains: [concept(proof:'Gains')], Expenses: [concept(proof:'Expenses')], Revenues: [concept(proof:'Revenues')], NetIncome: [concept(proof:'NetIncome')]. | |
valueAssertion | Arithmetic_IS02
|
NetIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity |
'Arithmetic_IS02' valueAssertion NetIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity variables IncomeFromPeripheralOrIncidentalTransactionsOfEntity: [concept(proof:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')], IncomeFromNormalActivitiesOfEntity: [concept(proof:'IncomeFromNormalActivitiesOfEntity')], NetIncome: [concept(proof:'NetIncome')]. | |
valueAssertion | Arithmetic_NA01
|
NetAssets=Assets-Liabilities |
'Arithmetic_NA01' valueAssertion NetAssets=Assets-Liabilities variables Liabilities: [concept(proof:'Liabilities')], Assets: [concept(proof:'Assets')], NetAssets: [concept(proof:'NetAssets')]. | |
valueAssertion | MemberAggregation_MA1
|
Total eq sum(Each) |
'MemberAggregation_MA1' valueAssertion Total eq sum(Each) variables Each: [explicitDimension(proof:'SegmentsAxis',[under('Total','http://www.xbrlsite.com/report/role/SegmentRevenues','http://xbrl.org/int/dim/arcrole/domain-member',child)]),concept(proof:'Revenues')], Total: [concept(proof:'Revenues')]. | |
valueAssertion | MemberAggregation_PPA
|
Total eq sum(Each) |
'MemberAggregation_PPA' valueAssertion Total eq sum(Each) variables Each: [explicitDimension(proof:'RestatementAxis',[under('Total','http://www.xbrlsite.com/report/role/PriorPeriodErrors2','http://xbrl.org/int/dim/arcrole/domain-member',child)]),concept(proof:'Equity')], Total: [concept(proof:'Equity')]. | |
valueAssertion | RollForward_CF01
|
Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd |
'RollForward_CF01' valueAssertion Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd variables Assets_BalanceEnd: [concept(proof:'Assets'),instantDuration('NetCashFlow',end)], NetCashFlow: [concept(proof:'NetCashFlow')], Assets_BalanceStart: [concept(proof:'Assets'),instantDuration('NetCashFlow',start)]. | |
valueAssertion | RollForward_SHE01
|
Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd |
'RollForward_SHE01' valueAssertion Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd variables Equity_BalanceEnd: [concept(proof:'Equity'),instantDuration('ComprehensiveIncome',end)], DistributionsToOwners: [concept(proof:'DistributionsToOwners')], InvestmentsByOwners: [concept(proof:'InvestmentsByOwners')], ComprehensiveIncome: [concept(proof:'ComprehensiveIncome')], Equity_BalanceStart: [concept(proof:'Equity'),instantDuration('ComprehensiveIncome',start)]. | |
valueAssertion | Variance_VAR01
|
Actual=Budget+Variance |
'Variance_VAR01' valueAssertion Actual=Budget+Variance variables Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Revenues')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Revenues')], Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Revenues')]. | |
valueAssertion | Variance_VAR02
|
Actual=Budget+Variance |
'Variance_VAR02' valueAssertion Actual=Budget+Variance variables Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Expenses')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Expenses')], Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Expenses')]. | |
valueAssertion | Variance_VAR03
|
Actual=Budget+Variance |
'Variance_VAR03' valueAssertion Actual=Budget+Variance variables Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Gains')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Gains')], Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Gains')]. | |
valueAssertion | Variance_VAR04
|
Actual=Budget+Variance |
'Variance_VAR04' valueAssertion Actual=Budget+Variance variables Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Losses')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Losses')], Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Losses')]. | |
valueAssertion | Variance_VAR05
|
Actual=Budget+Variance |
'Variance_VAR05' valueAssertion Actual=Budget+Variance variables Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'NetIncome')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'NetIncome')], Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'NetIncome')]. | |
calculation | fac:Assets (in BSC)
|
total=CurrentAssets_2+NoncurrentAssets_1 |
calculation('http://www.xbrlsite.com/fac/role/BSC',fac:'Assets') valueAssertion /* not loadable */ total=CurrentAssets_2+NoncurrentAssets_1 variables total: [concept(fac:'Assets')], CurrentAssets_2: [concept(fac:'CurrentAssets')], NoncurrentAssets_1: [concept(fac:'NoncurrentAssets')]. | |
calculation | fac:Equity (in BSC)
|
total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 |
calculation('http://www.xbrlsite.com/fac/role/BSC',fac:'Equity') valueAssertion /* not loadable */ total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 variables total: [concept(fac:'Equity')], EquityAttributableToControllingInterests_2: [concept(fac:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests_1: [concept(fac:'EquityAttributableToNoncontrollingInterests')]. | |
calculation | fac:Liabilities (in BSC)
|
total=CurrentLiabilities_2+NoncurrentLiabilities_1 |
calculation('http://www.xbrlsite.com/fac/role/BSC',fac:'Liabilities') valueAssertion /* not loadable */ total=CurrentLiabilities_2+NoncurrentLiabilities_1 variables total: [concept(fac:'Liabilities')], CurrentLiabilities_2: [concept(fac:'CurrentLiabilities')], NoncurrentLiabilities_1: [concept(fac:'NoncurrentLiabilities')]. | |
calculation | fac:LiabilitiesAndEquity (in BSC)
|
total=Liabilities_2+Equity_1 |
calculation('http://www.xbrlsite.com/fac/role/BSC',fac:'LiabilitiesAndEquity') valueAssertion /* not loadable */ total=Liabilities_2+Equity_1 variables total: [concept(fac:'LiabilitiesAndEquity')], Liabilities_2: [concept(fac:'Liabilities')], Equity_1: [concept(fac:'Equity')]. | |
calculation | fac:NetCashFlow (in CashFlowStatement)
|
total=NetCashFlowFromOperatingActivities_3+(NetCashFlowFromInvestingActivities_2+NetCashFlowFromFinancingActivities_1) |
calculation('http://www.xbrlsite.com/fac/role/CashFlowStatement',fac:'NetCashFlow') valueAssertion /* not loadable */ total=NetCashFlowFromOperatingActivities_3+(NetCashFlowFromInvestingActivities_2+NetCashFlowFromFinancingActivities_1) variables total: [concept(fac:'NetCashFlow')], NetCashFlowFromOperatingActivities_3: [concept(fac:'NetCashFlowFromOperatingActivities')], NetCashFlowFromInvestingActivities_2: [concept(fac:'NetCashFlowFromInvestingActivities')], NetCashFlowFromFinancingActivities_1: [concept(fac:'NetCashFlowFromFinancingActivities')]. | |
calculation | fac:NetIncomeLoss (in IS1)
|
total=Revenue_4+(-Expenses_3+(Gains_2+ -Losses_1)) |
calculation('http://www.xbrlsite.com/fac/role/IS1',fac:'NetIncomeLoss') valueAssertion /* not loadable */ total=Revenue_4+(-Expenses_3+(Gains_2+ -Losses_1)) variables total: [concept(fac:'NetIncomeLoss')], Revenue_4: [concept(fac:'Revenue')], Expenses_3: [concept(fac:'Expenses')], Gains_2: [concept(fac:'Gains')], Losses_1: [concept(fac:'Losses')]. | |
calculation | fac:ComprehensiveIncomeLoss (in OCI)
|
total=NetIncomeLoss_2+OtherComprehensiveIncome_1 |
calculation('http://www.xbrlsite.com/fac/role/OCI',fac:'ComprehensiveIncomeLoss') valueAssertion /* not loadable */ total=NetIncomeLoss_2+OtherComprehensiveIncome_1 variables total: [concept(fac:'ComprehensiveIncomeLoss')], NetIncomeLoss_2: [concept(fac:'NetIncomeLoss')], OtherComprehensiveIncome_1: [concept(fac:'OtherComprehensiveIncome')]. | |
calculation | proof:Assets (in BalanceSheet)
|
total=CurrentAssets_2+NoncurrentAssets_1 |
calculation('http://www.xbrlsite.com/report/role/BalanceSheet',proof:'Assets') valueAssertion /* not loadable */ total=CurrentAssets_2+NoncurrentAssets_1 variables total: [concept(proof:'Assets')], CurrentAssets_2: [concept(proof:'CurrentAssets')], NoncurrentAssets_1: [concept(proof:'NoncurrentAssets')]. | |
calculation | proof:Equity (in BalanceSheet)
|
total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 |
calculation('http://www.xbrlsite.com/report/role/BalanceSheet',proof:'Equity') valueAssertion /* not loadable */ total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 variables total: [concept(proof:'Equity')], EquityAttributableToControllingInterests_2: [concept(proof:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests_1: [concept(proof:'EquityAttributableToNoncontrollingInterests')]. | |
calculation | proof:Liabilities (in BalanceSheet)
|
total=CurrentLiabilities_2+NoncurrentLiabilities_1 |
calculation('http://www.xbrlsite.com/report/role/BalanceSheet',proof:'Liabilities') valueAssertion /* not loadable */ total=CurrentLiabilities_2+NoncurrentLiabilities_1 variables total: [concept(proof:'Liabilities')], CurrentLiabilities_2: [concept(proof:'CurrentLiabilities')], NoncurrentLiabilities_1: [concept(proof:'NoncurrentLiabilities')]. | |
calculation | proof:LiabilitiesAndEquity (in BalanceSheet)
|
total=Liabilities_2+Equity_1 |
calculation('http://www.xbrlsite.com/report/role/BalanceSheet',proof:'LiabilitiesAndEquity') valueAssertion /* not loadable */ total=Liabilities_2+Equity_1 variables total: [concept(proof:'LiabilitiesAndEquity')], Liabilities_2: [concept(proof:'Liabilities')], Equity_1: [concept(proof:'Equity')]. | |
calculation | proof:NetCashFlow (in CashFlow)
|
total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1) |
calculation('http://www.xbrlsite.com/report/role/CashFlow',proof:'NetCashFlow') valueAssertion /* not loadable */ total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1) variables total: [concept(proof:'NetCashFlow')], NetCashFlowOperatingActivities_3: [concept(proof:'NetCashFlowOperatingActivities')], NetCashFlowInvestingActivities_2: [concept(proof:'NetCashFlowInvestingActivities')], NetCashFlowFinancingActivities_1: [concept(proof:'NetCashFlowFinancingActivities')]. | |
calculation | proof:NetIncome (in ComprehensiveIncome)
|
total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) |
calculation('http://www.xbrlsite.com/report/role/ComprehensiveIncome',proof:'NetIncome') valueAssertion /* not loadable */ total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) variables total: [concept(proof:'NetIncome')], Revenues_4: [concept(proof:'Revenues')], Expenses_3: [concept(proof:'Expenses')], Gains_2: [concept(proof:'Gains')], Losses_1: [concept(proof:'Losses')]. | |
calculation | proof:NetIncome (in ComprehensiveIncome2)
|
total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 |
calculation('http://www.xbrlsite.com/report/role/ComprehensiveIncome2',proof:'NetIncome') valueAssertion /* not loadable */ total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 variables total: [concept(proof:'NetIncome')], IncomeFromNormalActivitiesOfEntity_2: [concept(proof:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1: [concept(proof:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. | |
calculation | proof:ComprehensiveIncome (in ComprehensiveIncome3)
|
total=NetIncome_2+OtherComprehensiveIncome_1 |
calculation('http://www.xbrlsite.com/report/role/ComprehensiveIncome3',proof:'ComprehensiveIncome') valueAssertion /* not loadable */ total=NetIncome_2+OtherComprehensiveIncome_1 variables total: [concept(proof:'ComprehensiveIncome')], NetIncome_2: [concept(proof:'NetIncome')], OtherComprehensiveIncome_1: [concept(proof:'OtherComprehensiveIncome')]. | |
calculation | proof:NetAssets (in NetAssets)
|
total=Assets_2+ -Liabilities_1 |
calculation('http://www.xbrlsite.com/report/role/NetAssets',proof:'NetAssets') valueAssertion /* not loadable */ total=Assets_2+ -Liabilities_1 variables total: [concept(proof:'NetAssets')], Assets_2: [concept(proof:'Assets')], Liabilities_1: [concept(proof:'Liabilities')]. | |
calculation | proof:NetIncome (in VarianceAnalysis)
|
total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) 3 instances: proof:NetIncome[3750] = proof:Revenues[6000] + - proof:Expenses[2000] + proof:Gains[750] + - proof:Losses[1000] proof:NetIncome[-750] = proof:Revenues[1000] + - proof:Expenses[1000] + proof:Gains[250] + - proof:Losses[1000] proof:NetIncome[3000] = proof:Revenues[7000] + - proof:Expenses[3000] + proof:Gains[1000] + - proof:Losses[2000] |
calculation('http://www.xbrlsite.com/report/role/VarianceAnalysis',proof:'NetIncome') valueAssertion /* not loadable */ total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) variables total: [concept(proof:'NetIncome')], Revenues_4: [concept(proof:'Revenues')], Expenses_3: [concept(proof:'Expenses')], Gains_2: [concept(proof:'Gains')], Losses_1: [concept(proof:'Losses')]. | |
disclosure | disclosures:AssetsRollForward
|
Assets Roll Forward
1 instance:
proof:CashFlowHypercube is presented |
Not yet | |
disclosure | disclosures:AssetsRollUp
|
Assets Roll Up
1 instance:
proof:BalanceSheetHypercube is presented |
Not yet | |
disclosure | disclosures:BalanceSheet
|
Balance Sheet
1 instance:
01-Balance Sheet Balance Sheet [Hypercube] is a component |
Not yet | |
disclosure | disclosures:BasisOfReporting
|
Basis of Reporting
1 instance:
proof:PoliciesHypercube is presented |
Not yet | |
disclosure | disclosures:CashFlowStatement
|
Cash Flow Statement
1 instance:
06-Cash Flow Cash Flow [Hypercube] is a component |
Not yet | |
disclosure | disclosures:ChangesInEquity
|
Changes in Equity
1 instance:
proof:ChangesInEquityHypercube is presented |
Not yet | |
disclosure | disclosures:ComprehensiveIncome
|
Comprehensive Income
1 instance:
proof:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:FinancialHighlights
|
Financial Highlights
1 instance:
proof:FinancialHighlightsHypercube is presented |
Not yet | |
disclosure | disclosures:IncomeStatement
|
Income Statement
1 instance:
proof:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:IncomeStatementAlternative
|
Income Statement Alternative
1 instance:
proof:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:LiabilitiesAndEquityRollUp
|
Liabilities and Equity Roll Up
1 instance:
proof:BalanceSheetHypercube is presented |
Not yet | |
disclosure | disclosures:NatureOfOperations
|
Nature of Operations
1 instance:
proof:PoliciesHypercube is presented |
Not yet | |
disclosure | disclosures:NetAssetsRollUp
|
Net Assets Roll Up
1 instance:
proof:NetAssetsHypercube is presented |
Not yet | |
disclosure | disclosures:NetCashFlowRollUp
|
Net Cash Flow Roll Up
1 instance:
proof:CashFlowHypercube is presented |
Not yet | |
disclosure | disclosures:PriorPeriodError
|
Prior Period Error
1 instance:
proof:PriorPeriodErrorsHypercube is presented |
Not yet | |
disclosure | disclosures:PriorPeriodErrorAlternative
|
Prior Period Error Alternative
1 instance:
proof:PriorPeriodErrorsHypercube is presented |
Not yet | |
disclosure | disclosures:RevenueRecognitionPolicy
|
Revenue Recognition Policy
1 instance:
proof:PoliciesHypercube is presented |
Not yet | |
disclosure | disclosures:SegmentRevenues
|
Segment Revenues
1 instance:
proof:SegmentRevenuesHypercube is presented |
Not yet | |
disclosure | disclosures:StockPlanActivity
|
Stock Plan Activity
1 instance:
proof:WeightedAverageGrantDateFairValueHypercube is presented |
Not yet | |
disclosure | disclosures:VarianceAnalysis
|
Variance Analysis
1 instance:
proof:VarianceAnalysisHypercube is presented |
Not yet | |
disclosureCheck | require [disclosures:BalanceSheet]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:AssetsRollUp]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:LiabilitiesAndEquityRollUp]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:AssetsRollForward]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:BasisOfReporting]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:CashFlowStatement]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ChangesInEquity]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ComprehensiveIncome]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:FinancialHighlights]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:IncomeStatementAlternative]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:NatureOfOperations]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:NetAssetsRollUp]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:NetCashFlowRollUp]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:PriorPeriodError]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:PriorPeriodErrorAlternative]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:RevenueRecognitionPolicy]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:SegmentRevenues]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:StockPlanActivity]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:VarianceAnalysis]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:IncomeStatement]
|
Requires disclosure:
1 instance:
|
Not yet |
For more information: http://logicalcontracts.com/xbrl-and-sbrm-reporting/
DISCLAIMER: this analysis is provided by software still under development, and likely incomplete or even erroneous; do NOT use it other than for experimental, inconsequential purposes