Generated at 2020-09-24T14:28:37+0000 for Charles.Hoffman@me.com. This page will remain online for about 48 hours.
Submitted: http://xbrlsite.azurewebsites.net/2020/master/sfac6-db-new/instance.xml
For more information: http://demo.logicalcontracts.com/example/PROOF.swinb
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
NONE
01-Balance Sheet | Structures | Facts |
03-Comprehensive Income | Structures | Facts |
04-Comprehensive Income 2 | Structures | Facts |
07-Changes in Equity | Structures | Facts |
RULES | ||
Errors and Warnings |
Model Structure | |
---|---|
Network |
01-Balance Sheet
(http://www.xbrlsite.com/sfac6/role/BalanceSheet)
|
Table | sfac6:BalanceSheetHypercube (label) |
# | Label | Report Element Class | Period Type | Balance | Name |
---|---|---|---|---|---|
1 | sfac6:BalanceSheetHypercube (label) | Table | duration | null | sfac6:BalanceSheetHypercube |
2 | sfac6:BalanceSheetLineItems (label) | LineItems | duration | null | sfac6:BalanceSheetLineItems |
3 | sfac6:BalanceSheetSet (label) | Abstract | duration | null | sfac6:BalanceSheetSet |
4 | sfac6:Assets (negatedLabel) | Concept (xbrli:monetary) | instant | debit | sfac6:Assets |
5 | sfac6:Liabilities (label) | Concept (xbrli:monetary) | instant | credit | sfac6:Liabilities |
6 | sfac6:Equity (label) | Concept (xbrli:monetary) | instant | credit | sfac6:Equity |
Model Structure | |
---|---|
Network |
03-Comprehensive Income
(http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome)
|
Table | sfac6:ComprehensiveIncomeStatementHypercube (label) |
# | Label | Report Element Class | Period Type | Balance | Name |
---|---|---|---|---|---|
1 | sfac6:ComprehensiveIncomeStatementHypercube (label) | Table | duration | null | sfac6:ComprehensiveIncomeStatementHypercube |
2 | sfac6:ComprehensiveIncomeStatementLineItems (label) | LineItems | duration | null | sfac6:ComprehensiveIncomeStatementLineItems |
3 | sfac6:ComprehensiveIncomeRollUp (label) | Abstract | duration | null | sfac6:ComprehensiveIncomeRollUp |
4 | sfac6:Revenues (label) | Concept (xbrli:monetary) | duration | credit | sfac6:Revenues |
5 | sfac6:Expenses (negatedLabel) | Concept (xbrli:monetary) | duration | debit | sfac6:Expenses |
6 | sfac6:Gains (label) | Concept (xbrli:monetary) | duration | credit | sfac6:Gains |
7 | sfac6:Losses (negatedLabel) | Concept (xbrli:monetary) | duration | debit | sfac6:Losses |
8 | sfac6:ComprehensiveIncome (label) | Concept (xbrli:monetary) | duration | credit | sfac6:ComprehensiveIncome |
Model Structure | |
---|---|
Network |
04-Comprehensive Income 2
(http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome2)
|
Table | sfac6:ComprehensiveIncomeStatementHypercube (label) |
# | Label | Report Element Class | Period Type | Balance | Name |
---|---|---|---|---|---|
1 | sfac6:ComprehensiveIncomeStatementHypercube (label) | Table | duration | null | sfac6:ComprehensiveIncomeStatementHypercube |
2 | sfac6:ComprehensiveIncomeStatementLineItems (label) | LineItems | duration | null | sfac6:ComprehensiveIncomeStatementLineItems |
3 | sfac6:ComprehensiveIncomeRollUp (label) | Abstract | duration | null | sfac6:ComprehensiveIncomeRollUp |
4 | sfac6:IncomeFromNormalActivitiesOfEntity (label) | Concept (xbrli:monetary) | duration | credit | sfac6:IncomeFromNormalActivitiesOfEntity |
5 | sfac6:IncomeFromPeripheralOrIncidentalTransactionsOfEntity (label) | Concept (xbrli:monetary) | duration | credit | sfac6:IncomeFromPeripheralOrIncidentalTransactionsOfEntity |
6 | sfac6:ComprehensiveIncome (label) | Concept (xbrli:monetary) | duration | credit | sfac6:ComprehensiveIncome |
Model Structure | |
---|---|
Network |
07-Changes in Equity
(http://www.xbrlsite.com/sfac6/role/ChangesInEquity)
|
Table | sfac6:ChangesInEquityHypercube (label) |
# | Label | Report Element Class | Period Type | Balance | Name |
---|---|---|---|---|---|
1 | sfac6:ChangesInEquityHypercube (label) | Table | duration | null | sfac6:ChangesInEquityHypercube |
2 | sfac6:ChangesInEquityLineItems (label) | LineItems | duration | null | sfac6:ChangesInEquityLineItems |
3 | sfac6:ChangesInEquityRollForward (label) | Abstract | duration | null | sfac6:ChangesInEquityRollForward |
4 | sfac6:Equity (periodStartLabel) | Concept (xbrli:monetary) | instant | credit | sfac6:Equity |
5 | sfac6:ComprehensiveIncome (label) | Concept (xbrli:monetary) | duration | credit | sfac6:ComprehensiveIncome |
6 | sfac6:InvestmentsByOwners (label) | Concept (xbrli:monetary) | duration | credit | sfac6:InvestmentsByOwners |
7 | sfac6:DistributionsToOwners (negatedLabel) | Concept (xbrli:monetary) | duration | debit | sfac6:DistributionsToOwners |
8 | sfac6:Equity (periodEndLabel) | Concept (xbrli:monetary) | instant | credit | sfac6:Equity |
The colours used for the fact values are significant, and have the following meanings:
Fact Table | |
---|---|
Network |
01-Balance Sheet
(http://www.xbrlsite.com/sfac6/role/BalanceSheet)
|
Table | sfac6:BalanceSheetHypercube (label) |
# | Reporting Entity [Axis] | Period [Axis] | Concept | Fact Value | Unit | Rounding | Parenthetical Explanations | |
---|---|---|---|---|---|---|---|---|
1 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2019-12-31 | sfac6:Assets (label) | 0 | iso4217:USD | INF | ||
2 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-12-31 | sfac6:Assets (label) | 3500 | iso4217:USD | INF | ||
3 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2019-12-31 | sfac6:Equity (label) | 0 | iso4217:USD | INF | ||
4 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-12-31 | sfac6:Equity (label) | 3500 | iso4217:USD | INF | ||
5 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2019-12-31 | sfac6:Liabilities (label) | 0 | iso4217:USD | INF | ||
6 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-12-31 | sfac6:Liabilities (label) | 0 | iso4217:USD | INF |
Fact Table | |
---|---|
Network |
03-Comprehensive Income
(http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome)
|
Table | sfac6:ComprehensiveIncomeStatementHypercube (label) |
# | Reporting Entity [Axis] | Period [Axis] | Concept | Fact Value | Unit | Rounding | Parenthetical Explanations | |
---|---|---|---|---|---|---|---|---|
1 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:ComprehensiveIncome (label) | 3000 | iso4217:USD | INF | ||
2 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:Expenses (label) | 3000 | iso4217:USD | INF | ||
3 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:Gains (label) | 1000 | iso4217:USD | INF | ||
4 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:Losses (label) | 2000 | iso4217:USD | INF | ||
5 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:Revenues (label) | 7000 | iso4217:USD | INF |
Fact Table | |
---|---|
Network |
04-Comprehensive Income 2
(http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome2)
|
Table | sfac6:ComprehensiveIncomeStatementHypercube (label) |
# | Reporting Entity [Axis] | Period [Axis] | Concept | Fact Value | Unit | Rounding | Parenthetical Explanations | |
---|---|---|---|---|---|---|---|---|
1 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:ComprehensiveIncome (label) | 3000 | iso4217:USD | INF | ||
2 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:IncomeFromNormalActivitiesOfEntity (label) | 2000 | iso4217:USD | INF | ||
3 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:IncomeFromPeripheralOrIncidentalTransactionsOfEntity (label) | 1000 | iso4217:USD | INF |
Fact Table | |
---|---|
Network |
07-Changes in Equity
(http://www.xbrlsite.com/sfac6/role/ChangesInEquity)
|
Table | sfac6:ChangesInEquityHypercube (label) |
# | Reporting Entity [Axis] | Period [Axis] | Concept | Fact Value | Unit | Rounding | Parenthetical Explanations | |
---|---|---|---|---|---|---|---|---|
1 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:ComprehensiveIncome (label) | 3000 | iso4217:USD | INF | ||
2 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:DistributionsToOwners (label) | 500 | iso4217:USD | INF | ||
3 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2019-12-31 | sfac6:Equity (label) | 0 | iso4217:USD | INF | ||
4 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-12-31 | sfac6:Equity (label) | 3500 | iso4217:USD | INF | ||
5 | GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442) | 2020-01-01 to 2020-12-31 | sfac6:InvestmentsByOwners (label) | 1000 | iso4217:USD | INF |
Type | Name | Rule Expression | Prolog form | |
---|---|---|---|---|
valueAssertion | Arithmetic_BS01
| Assets=Liabilities+Equity |
'Arithmetic_BS01' valueAssertion Assets=Liabilities+Equity variables Assets: [concept(sfac6:'Assets')], Equity: [concept(sfac6:'Equity')], Liabilities: [concept(sfac6:'Liabilities')]. | |
valueAssertion | Arithmetic_IS01
| ComprehensiveIncome=Revenues-Expenses+Gains-Losses |
'Arithmetic_IS01' valueAssertion ComprehensiveIncome=Revenues-Expenses+Gains-Losses variables ComprehensiveIncome: [concept(sfac6:'ComprehensiveIncome')], Expenses: [concept(sfac6:'Expenses')], Gains: [concept(sfac6:'Gains')], Losses: [concept(sfac6:'Losses')], Revenues: [concept(sfac6:'Revenues')]. | |
valueAssertion | Arithmetic_IS02
| ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity |
'Arithmetic_IS02' valueAssertion ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity variables ComprehensiveIncome: [concept(sfac6:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity: [concept(sfac6:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity: [concept(sfac6:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. | |
valueAssertion | RollForward_SHE01
| Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd |
'RollForward_SHE01' valueAssertion Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd variables ComprehensiveIncome: [concept(sfac6:'ComprehensiveIncome')], DistributionsToOwners: [concept(sfac6:'DistributionsToOwners')], Equity_BalanceEnd: [concept(sfac6:'Equity'),instantDuration('ComprehensiveIncome',end)], Equity_BalanceStart: [concept(sfac6:'Equity'),instantDuration('ComprehensiveIncome',start)], InvestmentsByOwners: [concept(sfac6:'InvestmentsByOwners')]. | |
valueAssertion | CONSISTENCY_AccountingEquation
| Assets=Liabilities+Equity |
'CONSISTENCY_AccountingEquation' valueAssertion Assets=Liabilities+Equity variables Assets: [concept(sfac6:'Assets')], Equity: [concept(sfac6:'Equity')], Liabilities: [concept(sfac6:'Liabilities')]. | |
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(sfac6:'Assets'),instantDuration('Revenues',end)], DistributionsToOwners: [concept(sfac6:'DistributionsToOwners')], Equity_BalanceStart: [concept(sfac6:'Equity'),instantDuration('Revenues',start)], Expenses: [concept(sfac6:'Expenses')], Gains: [concept(sfac6:'Gains')], InvestmentsByOwners: [concept(sfac6:'InvestmentsByOwners')], Liabilities_BalanceEnd: [concept(sfac6:'Liabilities'),instantDuration('Revenues',end)], Losses: [concept(sfac6:'Losses')], Revenues: [concept(sfac6:'Revenues')]. | |
calculation | sfac6:ComprehensiveIncome (in ComprehensiveIncome)
| total=Revenues_4*1+(Expenses_3* -1+(Gains_2*1+Losses_1* -1)) |
calculation('http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome',sfac6:'ComprehensiveIncome') valueAssertion /* not loadable */ total=Revenues_4*1+(Expenses_3* -1+(Gains_2*1+Losses_1* -1)) variables total: [concept(sfac6:'ComprehensiveIncome')], Revenues_4: [concept(sfac6:'Revenues')], Expenses_3: [concept(sfac6:'Expenses')], Gains_2: [concept(sfac6:'Gains')], Losses_1: [concept(sfac6:'Losses')]. | |
calculation | sfac6:ComprehensiveIncome (in ComprehensiveIncome2)
| total=IncomeFromNormalActivitiesOfEntity_2*1+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1*1 |
calculation('http://www.xbrlsite.com/sfac6/role/ComprehensiveIncome2',sfac6:'ComprehensiveIncome') valueAssertion /* not loadable */ total=IncomeFromNormalActivitiesOfEntity_2*1+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1*1 variables total: [concept(sfac6:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity_2: [concept(sfac6:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1: [concept(sfac6:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')]. |
Other than rule related
NONE.