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.

TypeDefinedBoundDerivedOKFail
calculation17280280

Rule Details

TypeName Rule ExpressionProlog form (technical)
calculationfac:Assets (in BSC)
  • derived:0
  • ok:2
  • failed:0
 

total=CurrentAssets_2+NoncurrentAssets_1

2 instances:

fac:Assets[3500] = fac:CurrentAssets[500] + fac:NoncurrentAssets[3000]

fac:Assets[0] = fac:CurrentAssets[0] + fac:NoncurrentAssets[0]

 

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')].
calculationfac:Equity (in BSC)
  • derived:0
  • ok:2
  • failed:0
 

total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1

2 instances:

fac:Equity[3500] = fac:EquityAttributableToControllingInterests[3000] + fac:EquityAttributableToNoncontrollingInterests[500]

fac:Equity[0] = fac:EquityAttributableToControllingInterests[0] + fac:EquityAttributableToNoncontrollingInterests[0]

 

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')].
calculationfac:Liabilities (in BSC)
  • derived:0
  • ok:2
  • failed:0
 

total=CurrentLiabilities_2+NoncurrentLiabilities_1

2 instances:

fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

fac:Liabilities[0] = fac:CurrentLiabilities[0] + fac:NoncurrentLiabilities[0]

 

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')].
calculationfac:LiabilitiesAndEquity (in BSC)
  • derived:0
  • ok:2
  • failed:0
 

total=Liabilities_2+Equity_1

2 instances:

fac:LiabilitiesAndEquity[3500] = fac:Liabilities[0] + fac:Equity[3500]

fac:LiabilitiesAndEquity[0] = fac:Liabilities[0] + fac:Equity[0]

 

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')].
calculationfac:NetCashFlow (in CashFlowStatement)
  • derived:0
  • ok:1
  • failed:0
 

total=NetCashFlowFromOperatingActivities_3+(NetCashFlowFromInvestingActivities_2+NetCashFlowFromFinancingActivities_1)

1 instance:

fac:NetCashFlow[3500] = fac:NetCashFlowFromOperatingActivities[1500] + fac:NetCashFlowFromInvestingActivities[1000] + fac:NetCashFlowFromFinancingActivities[1000]

 

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')].
calculationfac:NetIncomeLoss (in IS1)
  • derived:0
  • ok:1
  • failed:0
 

total=Revenue_4+(-Expenses_3+(Gains_2+ -Losses_1))

1 instance:

fac:NetIncomeLoss[3000] = fac:Revenue[7000] + - fac:Expenses[3000] + fac:Gains[1000] + - fac:Losses[2000]

 

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')].
calculationfac:ComprehensiveIncomeLoss (in OCI)
  • derived:0
  • ok:1
  • failed:0
 

total=NetIncomeLoss_2+OtherComprehensiveIncome_1

1 instance:

fac:ComprehensiveIncomeLoss[3000] = fac:NetIncomeLoss[3000] + fac:OtherComprehensiveIncome[0]

 

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')].
calculationproof:Assets (in BalanceSheet)
  • derived:0
  • ok:2
  • failed:0
 

total=CurrentAssets_2+NoncurrentAssets_1

2 instances:

proof:Assets[3500] = proof:CurrentAssets[500] + proof:NoncurrentAssets[3000]

proof:Assets[0] = proof:CurrentAssets[0] + proof:NoncurrentAssets[0]

 

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')].
calculationproof:Equity (in BalanceSheet)
  • derived:0
  • ok:2
  • failed:0
 

total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1

2 instances:

proof:Equity[3500] = proof:EquityAttributableToControllingInterests[3000] + proof:EquityAttributableToNoncontrollingInterests[500]

proof:Equity[0] = proof:EquityAttributableToControllingInterests[0] + proof:EquityAttributableToNoncontrollingInterests[0]

 

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')].
calculationproof:Liabilities (in BalanceSheet)
  • derived:0
  • ok:2
  • failed:0
 

total=CurrentLiabilities_2+NoncurrentLiabilities_1

2 instances:

proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

proof:Liabilities[0] = proof:CurrentLiabilities[0] + proof:NoncurrentLiabilities[0]

 

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')].
calculationproof:LiabilitiesAndEquity (in BalanceSheet)
  • derived:0
  • ok:2
  • failed:0
 

total=Liabilities_2+Equity_1

2 instances:

proof:LiabilitiesAndEquity[3500] = proof:Liabilities[0] + proof:Equity[3500]

proof:LiabilitiesAndEquity[0] = proof:Liabilities[0] + proof:Equity[0]

 

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')].
calculationproof:NetCashFlow (in CashFlow)
  • derived:0
  • ok:1
  • failed:0
 

total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1)

1 instance:

proof:NetCashFlow[3500] = proof:NetCashFlowOperatingActivities[1500] + proof:NetCashFlowInvestingActivities[1000] + proof:NetCashFlowFinancingActivities[1000]

 

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')].
calculationproof:NetIncome (in ComprehensiveIncome)
  • derived:0
  • ok:1
  • failed:0
 

total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1))

1 instance:

proof:NetIncome[3000] = proof:Revenues[7000] + - proof:Expenses[3000] + proof:Gains[1000] + - proof:Losses[2000]

 

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')].
calculationproof:NetIncome (in ComprehensiveIncome2)
  • derived:0
  • ok:1
  • failed:0
 

total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1

1 instance:

proof:NetIncome[3000] = proof:IncomeFromNormalActivitiesOfEntity[2000] + proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity[1000]

 

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')].
calculationproof:ComprehensiveIncome (in ComprehensiveIncome3)
  • derived:0
  • ok:1
  • failed:0
 

total=NetIncome_2+OtherComprehensiveIncome_1

1 instance:

proof:ComprehensiveIncome[3000] = proof:NetIncome[3000] + proof:OtherComprehensiveIncome[0]

 

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')].
calculationproof:NetAssets (in NetAssets)
  • derived:0
  • ok:2
  • failed:0
 

total=Assets_2+ -Liabilities_1

2 instances:

proof:NetAssets[3500] = proof:Assets[3500] + - proof:Liabilities[0]

proof:NetAssets[0] = proof:Assets[0] + - proof:Liabilities[0]

 

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')].
calculationproof:NetIncome (in VarianceAnalysis)
  • derived:0
  • ok:3
  • failed:0
 

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')].

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