Generated by Pacioli version 54f833c (updated 2 hours ago). Analysis at 2021-06-16T22:05:26+0000 for [email protected]. This page will remain online at https://pacioli.logicalcontracts.com/reportAnalysis/6272dd738776aa6b13a7d0f6428035d3e2e0ae37.report/index.html for about 28 days.
Type | Defined | Bound | Derived | OK | Fail |
---|---|---|---|---|---|
calculation | 10 | 15 | 0 | 15 | 0 |
disclosure | 11 | 14 | 0 | 14 | 0 |
disclosureCheck | 11 | 11 | 0 | 11 | 0 |
existenceAssertion | 0 | 0 | 0 | 0 | 0 |
formula | 0 | 0 | 0 | 0 | 0 |
valueAssertion | 12 | 17 | 0 | 17 | 0 |
Type | Name | Rule Expression | Prolog form (technical) | |
---|---|---|---|---|
valueAssertion | Arithmetic_BS01
|
Assets=Liabilities+Equity |
'Arithmetic_BS01' valueAssertion Assets=Liabilities+Equity variables Assets: [concept(common:'Assets')], Equity: [concept(common:'Equity')], Liabilities: [concept(common:'Liabilities')]. | |
valueAssertion | Arithmetic_BS02
|
Assets=CurrentAssets+NoncurrentAssets |
'Arithmetic_BS02' valueAssertion Assets=CurrentAssets+NoncurrentAssets variables Assets: [concept(common:'Assets')], CurrentAssets: [concept(common:'CurrentAssets')], NoncurrentAssets: [concept(common:'NoncurrentAssets')]. | |
valueAssertion | Arithmetic_BS03
|
Liabilities=CurrentLiabilities+NoncurrentLiabilities |
'Arithmetic_BS03' valueAssertion Liabilities=CurrentLiabilities+NoncurrentLiabilities variables CurrentLiabilities: [concept(common:'CurrentLiabilities')], Liabilities: [concept(common:'Liabilities')], NoncurrentLiabilities: [concept(common:'NoncurrentLiabilities')]. | |
valueAssertion | Arithmetic_BS04
|
Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests |
'Arithmetic_BS04' valueAssertion Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests variables Equity: [concept(common:'Equity')], EquityAttributableToControllingInterests: [concept(common:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests: [concept(common:'EquityAttributableToNoncontrollingInterests')]. | |
valueAssertion | Arithmetic_CF01
|
NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities |
'Arithmetic_CF01' valueAssertion NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities variables NetCashFlow: [concept(common:'NetCashFlow')], NetCashFlowFinancingActivities: [concept(common:'NetCashFlowFinancingActivities')], NetCashFlowInvestingActivities: [concept(common:'NetCashFlowInvestingActivities')], NetCashFlowOperatingActivities: [concept(common:'NetCashFlowOperatingActivities')]. | |
valueAssertion | Arithmetic_IS01
|
ComprehensiveIncome=Revenues-Expenses+Gains-Losses |
'Arithmetic_IS01' valueAssertion ComprehensiveIncome=Revenues-Expenses+Gains-Losses variables ComprehensiveIncome: [concept(common:'ComprehensiveIncome')], Expenses: [concept(common:'Expenses')], Gains: [concept(common:'Gains')], Losses: [concept(common:'Losses')], Revenues: [concept(common:'Revenues')]. | |
valueAssertion | Arithmetic_IS02
|
ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity |
'Arithmetic_IS02' valueAssertion ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity variables ComprehensiveIncome: [concept(common:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity: [concept(common:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity: [concept(common:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. | |
valueAssertion | Arithmetic_IS03
|
ComprehensiveIncome=NetIncome+OtherComprehensiveIncome |
'Arithmetic_IS03' valueAssertion ComprehensiveIncome=NetIncome+OtherComprehensiveIncome variables ComprehensiveIncome: [concept(common:'ComprehensiveIncome')], NetIncome: [concept(common:'NetIncome')], OtherComprehensiveIncome: [concept(common:'OtherComprehensiveIncome')]. | |
valueAssertion | Arithmetic_NA01
|
NetAssets=Assets-Liabilities |
'Arithmetic_NA01' valueAssertion NetAssets=Assets-Liabilities variables Assets: [concept(common:'Assets')], Liabilities: [concept(common:'Liabilities')], NetAssets: [concept(common:'NetAssets')]. | |
valueAssertion | RollForward_CF01
|
Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd |
'RollForward_CF01' valueAssertion Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd variables Assets_BalanceEnd: [concept(common:'Assets'),instantDuration('NetCashFlow',end)], Assets_BalanceStart: [concept(common:'Assets'),instantDuration('NetCashFlow',start)], NetCashFlow: [concept(common:'NetCashFlow')]. | |
valueAssertion | RollForward_SHE01
|
Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd |
'RollForward_SHE01' valueAssertion Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd variables ComprehensiveIncome: [concept(common:'ComprehensiveIncome')], DistributionsToOwners: [concept(common:'DistributionsToOwners')], Equity_BalanceEnd: [concept(common:'Equity'),instantDuration('ComprehensiveIncome',end)], Equity_BalanceStart: [concept(common:'Equity'),instantDuration('ComprehensiveIncome',start)], InvestmentsByOwners: [concept(common:'InvestmentsByOwners')]. | |
valueAssertion | CONSISTENCY_SFAC6_ElementsOfFinancialStatement
|
0=Equity_BalanceStart+(Revenues-Expenses+(Gains-Losses))+(InvestmentsByOwners-DistributionsToOwners)+(Liabilities_BalanceEnd-Assets_BalanceEnd) |
'CONSISTENCY_SFAC6_ElementsOfFinancialStatement' valueAssertion 0=Equity_BalanceStart+(Revenues-Expenses+(Gains-Losses))+(InvestmentsByOwners-DistributionsToOwners)+(Liabilities_BalanceEnd-Assets_BalanceEnd) variables Assets_BalanceEnd: [concept(common:'Assets'),instantDuration('Revenues',end)], DistributionsToOwners: [concept(common:'DistributionsToOwners')], Equity_BalanceStart: [concept(common:'Equity'),instantDuration('Revenues',start)], Expenses: [concept(common:'Expenses')], Gains: [concept(common:'Gains')], InvestmentsByOwners: [concept(common:'InvestmentsByOwners')], Liabilities_BalanceEnd: [concept(common:'Liabilities'),instantDuration('Revenues',end)], Losses: [concept(common:'Losses')], Revenues: [concept(common:'Revenues')]. | |
calculation | common:Assets (in BalanceSheet)
|
total=CurrentAssets_2+NoncurrentAssets_1 |
calculation('http://www.xbrlsite.com/common/role/BalanceSheet',common:'Assets') valueAssertion /* not loadable */ total=CurrentAssets_2+NoncurrentAssets_1 variables total: [concept(common:'Assets')], CurrentAssets_2: [concept(common:'CurrentAssets')], NoncurrentAssets_1: [concept(common:'NoncurrentAssets')]. | |
calculation | common:Equity (in BalanceSheet)
|
total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 |
calculation('http://www.xbrlsite.com/common/role/BalanceSheet',common:'Equity') valueAssertion /* not loadable */ total=EquityAttributableToControllingInterests_2+EquityAttributableToNoncontrollingInterests_1 variables total: [concept(common:'Equity')], EquityAttributableToControllingInterests_2: [concept(common:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests_1: [concept(common:'EquityAttributableToNoncontrollingInterests')]. | |
calculation | common:Liabilities (in BalanceSheet)
|
total=CurrentLiabilities_2+NoncurrentLiabilities_1 |
calculation('http://www.xbrlsite.com/common/role/BalanceSheet',common:'Liabilities') valueAssertion /* not loadable */ total=CurrentLiabilities_2+NoncurrentLiabilities_1 variables total: [concept(common:'Liabilities')], CurrentLiabilities_2: [concept(common:'CurrentLiabilities')], NoncurrentLiabilities_1: [concept(common:'NoncurrentLiabilities')]. | |
calculation | common:LiabilitiesAndEquity (in BalanceSheet)
|
total=Liabilities_2+Equity_1 |
calculation('http://www.xbrlsite.com/common/role/BalanceSheet',common:'LiabilitiesAndEquity') valueAssertion /* not loadable */ total=Liabilities_2+Equity_1 variables total: [concept(common:'LiabilitiesAndEquity')], Liabilities_2: [concept(common:'Liabilities')], Equity_1: [concept(common:'Equity')]. | |
calculation | common:NetCashFlow (in CashFlow)
|
total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1) |
calculation('http://www.xbrlsite.com/common/role/CashFlow',common:'NetCashFlow') valueAssertion /* not loadable */ total=NetCashFlowOperatingActivities_3+(NetCashFlowInvestingActivities_2+NetCashFlowFinancingActivities_1) variables total: [concept(common:'NetCashFlow')], NetCashFlowOperatingActivities_3: [concept(common:'NetCashFlowOperatingActivities')], NetCashFlowInvestingActivities_2: [concept(common:'NetCashFlowInvestingActivities')], NetCashFlowFinancingActivities_1: [concept(common:'NetCashFlowFinancingActivities')]. | |
calculation | common:ComprehensiveIncome (in ComprehensiveIncome)
|
total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) |
calculation('http://www.xbrlsite.com/common/role/ComprehensiveIncome',common:'ComprehensiveIncome') valueAssertion /* not loadable */ total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) variables total: [concept(common:'ComprehensiveIncome')], Revenues_4: [concept(common:'Revenues')], Expenses_3: [concept(common:'Expenses')], Gains_2: [concept(common:'Gains')], Losses_1: [concept(common:'Losses')]. | |
calculation | common:ComprehensiveIncome (in ComprehensiveIncome2)
|
total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 |
calculation('http://www.xbrlsite.com/common/role/ComprehensiveIncome2',common:'ComprehensiveIncome') valueAssertion /* not loadable */ total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 variables total: [concept(common:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity_2: [concept(common:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1: [concept(common:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. | |
calculation | common:ComprehensiveIncome (in ComprehensiveIncome3)
|
total=OtherComprehensiveIncome_2+NetIncome_1 |
calculation('http://www.xbrlsite.com/common/role/ComprehensiveIncome3',common:'ComprehensiveIncome') valueAssertion /* not loadable */ total=OtherComprehensiveIncome_2+NetIncome_1 variables total: [concept(common:'ComprehensiveIncome')], OtherComprehensiveIncome_2: [concept(common:'OtherComprehensiveIncome')], NetIncome_1: [concept(common:'NetIncome')]. | |
calculation | common:NetIncome (in ComprehensiveIncome3)
|
total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 |
calculation('http://www.xbrlsite.com/common/role/ComprehensiveIncome3',common:'NetIncome') valueAssertion /* not loadable */ total=IncomeFromNormalActivitiesOfEntity_2+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1 variables total: [concept(common:'NetIncome')], IncomeFromNormalActivitiesOfEntity_2: [concept(common:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1: [concept(common:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. | |
calculation | common:NetAssets (in NetAssets)
|
total=Assets_2+ -Liabilities_1 |
calculation('http://www.xbrlsite.com/common/role/NetAssets',common:'NetAssets') valueAssertion /* not loadable */ total=Assets_2+ -Liabilities_1 variables total: [concept(common:'NetAssets')], Assets_2: [concept(common:'Assets')], Liabilities_1: [concept(common:'Liabilities')]. | |
disclosure | disclosures:AssetsRollForward
|
Assets Roll Forward
1 instance:
common:CashFlowHypercube is presented |
Not yet | |
disclosure | disclosures:AssetsRollUp
|
Assets Roll Up
1 instance:
common: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: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:
common:ChangesInEquityHypercube is presented |
Not yet | |
disclosure | disclosures:ComprehensiveIncome
|
Comprehensive Income
3 instances:
common:ComprehensiveIncomeStatementHypercube is presented
common:ComprehensiveIncomeStatementHypercube is presented
common:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:ComprehensiveIncome2
|
Comprehensive Income 2
2 instances:
common:ComprehensiveIncomeStatementHypercube is presented
common:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:ComprehensiveIncome3
|
Comprehensive Income 3
1 instance:
common:ComprehensiveIncomeStatementHypercube is presented |
Not yet | |
disclosure | disclosures:LiabilitiesAndEquityRollUp
|
Liabilities and Equity Roll Up
1 instance:
common:BalanceSheetHypercube is presented |
Not yet | |
disclosure | disclosures:NetAssetsRollUp
|
Net Assets Roll Up
1 instance:
common:NetAssetsHypercube is presented |
Not yet | |
disclosure | disclosures:NetCashFlowRollUp
|
Net Cash Flow Roll Up
1 instance:
common:CashFlowHypercube is presented |
Not yet | |
disclosureCheck | require [disclosures:BalanceSheet]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ComprehensiveIncome]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ChangesInEquity]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ComprehensiveIncome2]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:ComprehensiveIncome3]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | possibleDisclosure [disclosures:AssetsRollUp]
|
Possible disclosure:
1 instance:
|
Not yet | |
disclosureCheck | possibleDisclosure [disclosures:LiabilitiesAndEquityRollUp]
|
Possible disclosure:
1 instance:
|
Not yet | |
disclosureCheck | possibleDisclosure [disclosures:NetAssetsRollUp]
|
Possible disclosure:
1 instance:
|
Not yet | |
disclosureCheck | require [disclosures:CashFlowStatement]
|
Requires disclosure:
1 instance:
|
Not yet | |
disclosureCheck | possibleDisclosure [disclosures:AssetsRollForward]
|
Possible disclosure:
1 instance:
|
Not yet | |
disclosureCheck | possibleDisclosure [disclosures:NetCashFlowRollUp]
|
Possible 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