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','https://www.xbrlsite.com/report/role/SegmentRevenues','https://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','https://www.xbrlsite.com/report/role/PriorPeriodErrors2','https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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('https://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: https://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