Report Analysis

Generated at 2020-10-07T14:03:49+0000 for Charles.Hoffman@me.com. This page will remain online for about 48 hours.

The Report

Submitted: http://xbrlsite.azurewebsites.net/2020/master/proof-common-render/instance.xml
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

User Alterations

NONE

	TERMS
01-Balance Sheet	Structures	Definitions	Facts
02-Net Assets	Structures	Definitions	Facts
03-Comprehensive Income	Structures	Definitions	Facts
04-Comprehensive Income 2	Structures	Definitions	Facts
05-Cash Flow	Structures	Definitions	Facts
06-Prior Period Errors	Structures	Definitions	Facts
07-Changes in Equity	Structures	Definitions	Facts
08-Policies	Structures	Definitions	Facts
09-Variance Analysis	Structures	Definitions	Facts
10-Segment Revenues	Structures	Definitions	Facts
11-Stock Plan Activity	Structures	Definitions	Facts
12-Financial Highlights	Structures	Definitions	Facts
	RULES
	Errors and Warnings

Terms

Terms shown are only those effectively used by the report instance.

#	Label	Data Type	Period Type	Balance Type	Prefix	Documentation, Refs, Name
1	proof:Assets (label)	xbrli:monetaryItemType	instant	debit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>25<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Assets
2	proof:BasisOfReportingTextBlock (label)	nonnum:textBlockItemType	duration	null	proof	BasisOfReportingTextBlock
3	proof:ChangesInAccountingPolicy (label)	xbrli:monetaryItemType	instant	credit	proof	ChangesInAccountingPolicy
4	proof:ComprehensiveIncome (label)	xbrli:monetaryItemType	duration	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>79<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 ComprehensiveIncome
5	proof:CorrectionOfAnError (label)	xbrli:monetaryItemType	instant	credit	proof	CorrectionOfAnError
6	proof:CurrentAssets (label)	xbrli:monetaryItemType	instant	debit	proof	CurrentAssets
7	proof:CurrentLiabilities (label)	xbrli:monetaryItemType	instant	credit	proof	CurrentLiabilities
8	proof:DistributionsToOwners (label)	xbrli:monetaryItemType	duration	debit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>68<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 DistributionsToOwners
9	proof:Equity (label)	xbrli:monetaryItemType	instant	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>49<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Equity
10	proof:EquityAttributableToControllingInterests (label)	xbrli:monetaryItemType	instant	credit	proof	EquityAttributableToControllingInterests
11	proof:EquityAttributableToNoncontrollingInterests (label)	xbrli:monetaryItemType	instant	credit	proof	EquityAttributableToNoncontrollingInterests
12	proof:Expenses (label)	xbrli:monetaryItemType	duration	debit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>81<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Expenses
13	proof:Forfeited (label)	num:perShareItemType	duration	null	proof	Forfeited
14	proof:Gains (label)	xbrli:monetaryItemType	duration	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>84<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Gains
15	proof:Granted (label)	num:perShareItemType	duration	null	proof	Granted
16	proof:IncomeFromNormalActivitiesOfEntity (label)	xbrli:monetaryItemType	duration	credit	proof	IncomeFromNormalActivitiesOfEntity
17	proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity (label)	xbrli:monetaryItemType	duration	credit	proof	IncomeFromPeripheralOrIncidentalTransactionsOfEntity
18	proof:InvestmentsByOwners (label)	xbrli:monetaryItemType	duration	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>68<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 InvestmentsByOwners
19	proof:Liabilities (label)	xbrli:monetaryItemType	instant	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>35<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Liabilities
20	proof:LiabilitiesAndEquity (label)	xbrli:monetaryItemType	instant	credit	proof	LiabilitiesAndEquity
21	proof:Losses (label)	xbrli:monetaryItemType	duration	debit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>84<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Losses
22	proof:NatureOfOperationsTextBlock (label)	nonnum:textBlockItemType	duration	null	proof	NatureOfOperationsTextBlock
23	proof:NetAssets (label)	xbrli:monetaryItemType	instant	debit	proof	NetAssets
24	proof:NetCashFlow (label)	xbrli:monetaryItemType	duration	debit	proof	NetCashFlow
25	proof:NetCashFlowFinancingActivities (label)	xbrli:monetaryItemType	duration	debit	proof	NetCashFlowFinancingActivities
26	proof:NetCashFlowInvestingActivities (label)	xbrli:monetaryItemType	duration	debit	proof	NetCashFlowInvestingActivities
27	proof:NetCashFlowOperatingActivities (label)	xbrli:monetaryItemType	duration	debit	proof	NetCashFlowOperatingActivities
28	proof:NetIncome (label)	xbrli:monetaryItemType	duration	credit	proof	NetIncome
29	proof:NoncurrentAssets (label)	xbrli:monetaryItemType	instant	debit	proof	NoncurrentAssets
30	proof:NoncurrentLiabilities (label)	xbrli:monetaryItemType	instant	credit	proof	NoncurrentLiabilities
31	proof:NonvestedFairValue (label)	num:perShareItemType	instant	null	proof	NonvestedFairValue
32	proof:OtherComprehensiveIncome (label)	xbrli:monetaryItemType	duration	credit	proof	OtherComprehensiveIncome
33	proof:RevenueRecognitionPolicyTextBlock (label)	nonnum:textBlockItemType	duration	null	proof	RevenueRecognitionPolicyTextBlock
34	proof:Revenues (label)	xbrli:monetaryItemType	duration	credit	proof	<[\|] Publisher="FASB"><= Name>SFAC<= Number>6<= Paragraph>79<= URI>https://www.fasb.org/jsp/FASB/Document_C/DocumentPage?cid=1218220132802&acceptedDisclaimer=true<= URIDate>2020-02-27 Revenues
35	proof:Vested (label)	num:perShareItemType	duration	null	proof	Vested

Model Structures

Model Structure
Network	01-Balance Sheet (http://www.xbrlsite.com/proof/role/BalanceSheet)
Table	proof:BalanceSheetHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:BalanceSheetHypercube (label)	Table	duration	null	proof:BalanceSheetHypercube
2	proof:BalanceSheetLineItems (label)	LineItems	duration	null	proof:BalanceSheetLineItems
3	proof:AssetsRollUp (label)	Abstract	duration	null	proof:AssetsRollUp
4	proof:CurrentAssets (negatedLabel)	Concept (xbrli:monetary)	instant	debit	proof:CurrentAssets
5	proof:NoncurrentAssets (negatedLabel)	Concept (xbrli:monetary)	instant	debit	proof:NoncurrentAssets
6	proof:Assets (negatedLabel)	Concept (xbrli:monetary)	instant	debit	proof:Assets
7	proof:LiabilitiesAndEquityRollUp (label)	Abstract	duration	null	proof:LiabilitiesAndEquityRollUp
8	proof:LiabilitiesRollUp (label)	Abstract	duration	null	proof:LiabilitiesRollUp
9	proof:CurrentLiabilities (label)	Concept (xbrli:monetary)	instant	credit	proof:CurrentLiabilities
10	proof:NoncurrentLiabilities (label)	Concept (xbrli:monetary)	instant	credit	proof:NoncurrentLiabilities
11	proof:Liabilities (label)	Concept (xbrli:monetary)	instant	credit	proof:Liabilities
12	proof:EquityRollUp (label)	Abstract	duration	null	proof:EquityRollUp
13	proof:EquityAttributableToControllingInterests (label)	Concept (xbrli:monetary)	instant	credit	proof:EquityAttributableToControllingInterests
14	proof:EquityAttributableToNoncontrollingInterests (label)	Concept (xbrli:monetary)	instant	credit	proof:EquityAttributableToNoncontrollingInterests
15	proof:Equity (label)	Concept (xbrli:monetary)	instant	credit	proof:Equity
16	proof:LiabilitiesAndEquity (label)	Concept (xbrli:monetary)	instant	credit	proof:LiabilitiesAndEquity

Model Structure
Network	02-Net Assets (http://www.xbrlsite.com/proof/role/NetAssets)
Table	proof:NetAssetsHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:NetAssetsHypercube (label)	Table	duration	null	proof:NetAssetsHypercube
2	proof:NetAssetsLineItems (label)	LineItems	duration	null	proof:NetAssetsLineItems
3	proof:NetAssetsRollUp (label)	Abstract	duration	null	proof:NetAssetsRollUp
4	proof:Assets (negatedLabel)	Concept (xbrli:monetary)	instant	debit	proof:Assets
5	proof:Liabilities (label)	Concept (xbrli:monetary)	instant	credit	proof:Liabilities
6	proof:NetAssets (negatedLabel)	Concept (xbrli:monetary)	instant	debit	proof:NetAssets

Model Structure
Network	03-Comprehensive Income (http://www.xbrlsite.com/proof/role/ComprehensiveIncome)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:ComprehensiveIncomeStatementHypercube (label)	Table	duration	null	proof:ComprehensiveIncomeStatementHypercube
2	proof:ComprehensiveIncomeStatementLineItems (label)	LineItems	duration	null	proof:ComprehensiveIncomeStatementLineItems
3	proof:ComprehensiveIncomeRollUp (label)	Abstract	duration	null	proof:ComprehensiveIncomeRollUp
4	proof:Revenues (label)	Concept (xbrli:monetary)	duration	credit	proof:Revenues
5	proof:Expenses (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:Expenses
6	proof:Gains (label)	Concept (xbrli:monetary)	duration	credit	proof:Gains
7	proof:Losses (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:Losses
8	proof:ComprehensiveIncome (label)	Concept (xbrli:monetary)	duration	credit	proof:ComprehensiveIncome

Model Structure
Network	04-Comprehensive Income 2 (http://www.xbrlsite.com/proof/role/ComprehensiveIncome2)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:ComprehensiveIncomeStatementHypercube (label)	Table	duration	null	proof:ComprehensiveIncomeStatementHypercube
2	proof:ComprehensiveIncomeStatementLineItems (label)	LineItems	duration	null	proof:ComprehensiveIncomeStatementLineItems
3	proof:ComprehensiveIncomeRollUp (label)	Abstract	duration	null	proof:ComprehensiveIncomeRollUp
4	proof:IncomeFromNormalActivitiesOfEntity (label)	Concept (xbrli:monetary)	duration	credit	proof:IncomeFromNormalActivitiesOfEntity
5	proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity (label)	Concept (xbrli:monetary)	duration	credit	proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity
6	proof:ComprehensiveIncome (label)	Concept (xbrli:monetary)	duration	credit	proof:ComprehensiveIncome

Model Structure
Network	05-Cash Flow (http://www.xbrlsite.com/proof/role/CashFlow)
Table	proof:CashFlowHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:CashFlowHypercube (label)	Table	duration	null	proof:CashFlowHypercube
2	proof:CashFlowLineItems (label)	LineItems	duration	null	proof:CashFlowLineItems
3	proof:NetCashFlowRollUp (label)	Abstract	duration	null	proof:NetCashFlowRollUp
4	proof:NetCashFlowOperatingActivities (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:NetCashFlowOperatingActivities
5	proof:NetCashFlowInvestingActivities (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:NetCashFlowInvestingActivities
6	proof:NetCashFlowFinancingActivities (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:NetCashFlowFinancingActivities
7	proof:NetCashFlow (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:NetCashFlow
8	proof:AssetsRollForward (label)	Abstract	duration	null	proof:AssetsRollForward
9	proof:Assets (periodStartLabel)	Concept (xbrli:monetary)	instant	debit	proof:Assets
10	proof:NetCashFlow (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:NetCashFlow
11	proof:Assets (periodEndLabel)	Concept (xbrli:monetary)	instant	debit	proof:Assets

Model Structure
Network	06-Prior Period Errors (http://www.xbrlsite.com/proof/role/PriorPeriodErrors)
Table	proof:PriorPeriodErrorsHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:PriorPeriodErrorsHypercube (label)	Table	duration	null	proof:PriorPeriodErrorsHypercube
2	proof:ReportDateAxis (label)	Axis	duration	null	proof:ReportDateAxis
3	proof:CurrentReportMember (label)	Member	duration	null	proof:CurrentReportMember
4	proof:PriorReportMember (label)	Member	duration	null	proof:PriorReportMember
5	proof:PriorPeriodErrorsLineItems (label)	LineItems	duration	null	proof:PriorPeriodErrorsLineItems
6	proof:PriorPeriodErrorsAdjustment (label)	Abstract	duration	null	proof:PriorPeriodErrorsAdjustment
7	proof:Equity (originallyStatedLabel)	Concept (xbrli:monetary)	instant	credit	proof:Equity
8	proof:ChangesInAccountingPolicy (label)	Concept (xbrli:monetary)	instant	credit	proof:ChangesInAccountingPolicy
9	proof:CorrectionOfAnError (label)	Concept (xbrli:monetary)	instant	credit	proof:CorrectionOfAnError
10	proof:Equity (restatedLabel)	Concept (xbrli:monetary)	instant	credit	proof:Equity

Model Structure
Network	07-Changes in Equity (http://www.xbrlsite.com/proof/role/ChangesInEquity)
Table	proof:ChangesInEquityHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:ChangesInEquityHypercube (label)	Table	duration	null	proof:ChangesInEquityHypercube
2	proof:ChangesInEquityLineItems (label)	LineItems	duration	null	proof:ChangesInEquityLineItems
3	proof:ChangesInEquityRollForward (label)	Abstract	duration	null	proof:ChangesInEquityRollForward
4	proof:Equity (periodStartLabel)	Concept (xbrli:monetary)	instant	credit	proof:Equity
5	proof:ComprehensiveIncome (label)	Concept (xbrli:monetary)	duration	credit	proof:ComprehensiveIncome
6	proof:InvestmentsByOwners (label)	Concept (xbrli:monetary)	duration	credit	proof:InvestmentsByOwners
7	proof:DistributionsToOwners (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:DistributionsToOwners
8	proof:Equity (periodEndLabel)	Concept (xbrli:monetary)	instant	credit	proof:Equity

Model Structure
Network	08-Policies (http://www.xbrlsite.com/proof/role/Policies)
Table	proof:PoliciesHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:PoliciesHypercube (label)	Table	duration	null	proof:PoliciesHypercube
2	proof:PoliciesLineItems (label)	LineItems	duration	null	proof:PoliciesLineItems
3	proof:BasisOfReportingTextBlock (label)	Concept (nonnum:xmlNodesItemType)	duration	null	proof:BasisOfReportingTextBlock
4	proof:NatureOfOperationsTextBlock (label)	Concept (nonnum:xmlNodesItemType)	duration	null	proof:NatureOfOperationsTextBlock
5	proof:RevenueRecognitionPolicyTextBlock (label)	Concept (nonnum:xmlNodesItemType)	duration	null	proof:RevenueRecognitionPolicyTextBlock

Model Structure
Network	09-Variance Analysis (http://www.xbrlsite.com/proof/role/VarianceAnalysis)
Table	proof:VarianceAnalysisHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:VarianceAnalysisHypercube (label)	Table	duration	null	proof:VarianceAnalysisHypercube
2	proof:ScenarioAxis (label)	Axis	duration	null	proof:ScenarioAxis
3	proof:ActualMember (label)	Member	duration	null	proof:ActualMember
4	proof:VarianceMember (label)	Member	duration	null	proof:VarianceMember
5	proof:BudgetedMember (label)	Member	duration	null	proof:BudgetedMember
6	proof:VarianceAnalysisLineItems (label)	LineItems	duration	null	proof:VarianceAnalysisLineItems
7	proof:VarianceAnalysisRollUp (label)	Abstract	duration	null	proof:VarianceAnalysisRollUp
8	proof:Revenues (label)	Concept (xbrli:monetary)	duration	credit	proof:Revenues
9	proof:Expenses (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:Expenses
10	proof:Gains (label)	Concept (xbrli:monetary)	duration	credit	proof:Gains
11	proof:Losses (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:Losses
12	proof:ComprehensiveIncome (label)	Concept (xbrli:monetary)	duration	credit	proof:ComprehensiveIncome

Model Structure
Network	10-Segment Revenues (http://www.xbrlsite.com/proof/role/SegmentRevenues)
Table	proof:SegmentRevenuesHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:SegmentRevenuesHypercube (label)	Table	duration	null	proof:SegmentRevenuesHypercube
2	proof:SegmentsAxis (label)	Axis	duration	null	proof:SegmentsAxis
3	proof:AllSegmentsMember (label)	Member	duration	null	proof:AllSegmentsMember
4	proof:SegmentAlphaMember (label)	Member	duration	null	proof:SegmentAlphaMember
5	proof:SegmentBravoMember (label)	Member	duration	null	proof:SegmentBravoMember
6	proof:SegmentCharlieMember (label)	Member	duration	null	proof:SegmentCharlieMember
7	proof:SegmentRevenuesLineItems (label)	LineItems	duration	null	proof:SegmentRevenuesLineItems
8	proof:SegmentRevenuesSet (label)	Abstract	duration	null	proof:SegmentRevenuesSet
9	proof:Revenues (label)	Concept (xbrli:monetary)	duration	credit	proof:Revenues

Model Structure
Network	11-Stock Plan Activity (http://www.xbrlsite.com/proof/role/StockPlanActivity)
Table	proof:WeightedAverageGrantDateFairValueHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:WeightedAverageGrantDateFairValueHypercube (label)	Table	duration	null	proof:WeightedAverageGrantDateFairValueHypercube
2	proof:WeightedAverageGrantDateFairValueLineItems (label)	LineItems	duration	null	proof:WeightedAverageGrantDateFairValueLineItems
3	proof:WeightedAverageGrantDateFairValueRollForwardInfo (label)	Abstract	duration	null	proof:WeightedAverageGrantDateFairValueRollForwardInfo
4	proof:NonvestedFairValue (periodStartLabel)	Concept (xbrli:decimalItemType)	instant	null	proof:NonvestedFairValue
5	proof:Granted (label)	Concept (xbrli:decimalItemType)	duration	null	proof:Granted
6	proof:Vested (label)	Concept (xbrli:decimalItemType)	duration	null	proof:Vested
7	proof:Forfeited (label)	Concept (xbrli:decimalItemType)	duration	null	proof:Forfeited
8	proof:NonvestedFairValue (periodEndLabel)	Concept (xbrli:decimalItemType)	instant	null	proof:NonvestedFairValue

Model Structure
Network	12-Financial Highlights (http://www.xbrlsite.com/proof/role/FinancialHighlights)
Table	proof:FinancialHighlightsHypercube (label)

#	Label	Report Element Class	Period Type	Balance	Name
1	proof:FinancialHighlightsHypercube (label)	Table	duration	null	proof:FinancialHighlightsHypercube
2	proof:FinancialHighlightsLineItems (label)	LineItems	duration	null	proof:FinancialHighlightsLineItems
3	proof:FinancialHighlightsSet (label)	Abstract	duration	null	proof:FinancialHighlightsSet
4	proof:Revenues (label)	Concept (xbrli:monetary)	duration	credit	proof:Revenues
5	proof:ComprehensiveIncome (label)	Concept (xbrli:monetary)	duration	credit	proof:ComprehensiveIncome
6	proof:DistributionsToOwners (negatedLabel)	Concept (xbrli:monetary)	duration	debit	proof:DistributionsToOwners

Definition Graphs

Definition Links Graph
Network	01-Balance Sheet (http://www.xbrlsite.com/proof/role/BalanceSheet)
Table	proof:BalanceSheetHypercube (label)

Definition Links Graph
Network	02-Net Assets (http://www.xbrlsite.com/proof/role/NetAssets)
Table	proof:NetAssetsHypercube (label)

Definition Links Graph
Network	03-Comprehensive Income (http://www.xbrlsite.com/proof/role/ComprehensiveIncome)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

Definition Links Graph
Network	04-Comprehensive Income 2 (http://www.xbrlsite.com/proof/role/ComprehensiveIncome2)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

Definition Links Graph
Network	05-Cash Flow (http://www.xbrlsite.com/proof/role/CashFlow)
Table	proof:CashFlowHypercube (label)

Definition Links Graph
Network	06-Prior Period Errors (http://www.xbrlsite.com/proof/role/PriorPeriodErrors)
Table	proof:PriorPeriodErrorsHypercube (label)

Definition Links Graph
Network	07-Changes in Equity (http://www.xbrlsite.com/proof/role/ChangesInEquity)
Table	proof:ChangesInEquityHypercube (label)

Definition Links Graph
Network	08-Policies (http://www.xbrlsite.com/proof/role/Policies)
Table	proof:PoliciesHypercube (label)

Definition Links Graph
Network	09-Variance Analysis (http://www.xbrlsite.com/proof/role/VarianceAnalysis)
Table	proof:VarianceAnalysisHypercube (label)

Definition Links Graph
Network	10-Segment Revenues (http://www.xbrlsite.com/proof/role/SegmentRevenues)
Table	proof:SegmentRevenuesHypercube (label)

Definition Links Graph
Network	11-Stock Plan Activity (http://www.xbrlsite.com/proof/role/StockPlanActivity)
Table	proof:WeightedAverageGrantDateFairValueHypercube (label)

Definition Links Graph
Network	12-Financial Highlights (http://www.xbrlsite.com/proof/role/FinancialHighlights)
Table	proof:FinancialHighlightsHypercube (label)

Fact Tables

The colours used for the fact values are significant, and have the following meanings:

Reported facts that have been checked by consistency rules are in green
derived (imputed) facts are in blue
inconsistent facts in red
...and the rest (reported but unckecked) in black

Fact Table
Network	01-Balance Sheet (http://www.xbrlsite.com/proof/role/BalanceSheet)
Table	proof:BalanceSheetHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Assets (label)	0	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Assets (label)	3500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:CurrentAssets (label)	0	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:CurrentAssets (label)	500	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:CurrentLiabilities (label)	0	iso4217:USD	INF
6	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:CurrentLiabilities (label)	0	iso4217:USD	INF
7	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Equity (label)	0	iso4217:USD	INF
8	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Equity (label)	3500	iso4217:USD	INF
9	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:EquityAttributableToControllingInterests (label)	0	iso4217:USD	INF
10	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:EquityAttributableToControllingInterests (label)	3000	iso4217:USD	INF
11	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:EquityAttributableToNoncontrollingInterests (label)	0	iso4217:USD	INF
12	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:EquityAttributableToNoncontrollingInterests (label)	500	iso4217:USD	INF
13	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Liabilities (label)	0	iso4217:USD	INF
14	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Liabilities (label)	0	iso4217:USD	INF
15	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:LiabilitiesAndEquity (label)	0	iso4217:USD	INF
16	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:LiabilitiesAndEquity (label)	3500	iso4217:USD	INF
17	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:NoncurrentAssets (label)	0	iso4217:USD	INF
18	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:NoncurrentAssets (label)	3000	iso4217:USD	INF
19	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:NoncurrentLiabilities (label)	0	iso4217:USD	INF
20	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:NoncurrentLiabilities (label)	0	iso4217:USD	INF

Fact Table
Network	02-Net Assets (http://www.xbrlsite.com/proof/role/NetAssets)
Table	proof:NetAssetsHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Assets (label)	0	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Assets (label)	3500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Liabilities (label)	0	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Liabilities (label)	0	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:NetAssets (label)	0	iso4217:USD	INF
6	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:NetAssets (label)	3500	iso4217:USD	INF

Fact Table
Network	03-Comprehensive Income (http://www.xbrlsite.com/proof/role/ComprehensiveIncome)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:ComprehensiveIncome (label)	3000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Expenses (label)	3000	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Gains (label)	1000	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Losses (label)	2000	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Revenues (label)	7000	iso4217:USD	INF

Fact Table
Network	04-Comprehensive Income 2 (http://www.xbrlsite.com/proof/role/ComprehensiveIncome2)
Table	proof:ComprehensiveIncomeStatementHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:ComprehensiveIncome (label)	3000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:IncomeFromNormalActivitiesOfEntity (label)	2000	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:IncomeFromPeripheralOrIncidentalTransactionsOfEntity (label)	1000	iso4217:USD	INF

Fact Table
Network	05-Cash Flow (http://www.xbrlsite.com/proof/role/CashFlow)
Table	proof:CashFlowHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Assets (label)	0	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Assets (label)	3500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:NetCashFlow (label)	3500	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:NetCashFlowFinancingActivities (label)	1000	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:NetCashFlowInvestingActivities (label)	1000	iso4217:USD	INF
6	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:NetCashFlowOperatingActivities (label)	1500	iso4217:USD	INF

Fact Table
Network	06-Prior Period Errors (http://www.xbrlsite.com/proof/role/PriorPeriodErrors)
Table	proof:PriorPeriodErrorsHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	proof:CurrentReportMember (label)	proof:ChangesInAccountingPolicy (label)	-1500	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	proof:CurrentReportMember (label)	proof:CorrectionOfAnError (label)	-500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	proof:CurrentReportMember (label)	proof:Equity (label)	0	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	proof:PriorReportMember (label)	proof:Equity (label)	2000	iso4217:USD	INF

Fact Table
Network	07-Changes in Equity (http://www.xbrlsite.com/proof/role/ChangesInEquity)
Table	proof:ChangesInEquityHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:ComprehensiveIncome (label)	3000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:DistributionsToOwners (label)	500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:Equity (label)	0	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:Equity (label)	3500	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:InvestmentsByOwners (label)	1000	iso4217:USD	INF

Fact Table
Network	08-Policies (http://www.xbrlsite.com/proof/role/Policies)
Table	proof:PoliciesHypercube (label)

Reporting Entity [Axis]

Period [Axis]

Concept

Fact Value

Unit

Rounding

Parenthetical Explanations

GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)

2020-01-01 to 2020-12-31

proof:BasisOfReportingTextBlock (label)

Duis fermentum. Nullam dui orci, scelerisque porttitor, volutpat a, porttitor a, enim. Sed lobortis. Maecenas scelerisque ullamcorper libero. Aliquam porta leo imperdiet pede. In semper, elit vel elementum auctor, lectus purus rhoncus arcu, lacinia sollicitudin justo odio et nunc. Phasellus sagittis fringilla risus. Curabitur iaculis sagittis orci. Ut malesuada libero nec nulla molestie vestibulum. Suspendisse lectus massa, ullamcorper at, tincidunt eget, bibendum vel, risus. Curabitur imperdiet. Suspendisse accumsan, arcu vel ornare interdum, magna tellus porta mauris, in porta mi lacus sodales felis. Pellentesque dapibus, leo non sollicitudin consequat, lectus orci fringilla felis, non interdum leo libero sed augue. Sed magna. Maecenas ante ipsum, congue ut, sodales a, pulvinar ut, dui. Suspendisse mauris massa, sollicitudin et, hendrerit eget, placerat id, orci. Donec molestie magna.

Sed mauris. Nulla facilisi. Fusce tristique posuere ipsum. Nulla facilisi. Aliquam viverra risus vitae ante. Sed rhoncus mi in wisi. Nullam nibh dui, molestie vitae, imperdiet non, ornare at, elit. Aenean nec justo. Vestibulum ante ipsum primis in faucibus orci luctus et ultrices posuere cubilia Curae; Duis sodales.

null

GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)

2020-01-01 to 2020-12-31

proof:NatureOfOperationsTextBlock (label)

	20XX	20XX
Sed dapibus dui quis lectus; Donec id sem. Integer sit amet 2% diam ac nibh consequat vestibulum; Sed eget augue malesuada quam adipiscing mattis	XX,XXX	XX,XXX
Sed lobortis, Maecenas scelerisque ullamcorper libero, Aliquam porta $880 leo imperdiet pede	XX,XXX	-
Nunc congue. Fusce venenatis. Maecenas tincidunt, ipsum in fringilla hendrerit, dolor metus eleifend neque, vel tincidunt mi nunc a purus	-	XX,XXX
Fusce venenatis. Maecenas tincidunt, ipsum in fringilla $1,200 hendrerit, dolor metus eleifend neque, vel tincidunt mi nunc a purus	XX,XXX	XX,XXX
Pellentesque	XXX,XXX	XXX,XXX

null

GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)

2020-01-01 to 2020-12-31

proof:RevenueRecognitionPolicyTextBlock (label)

Nature of business

Sed mauris. Nulla facilisi. Fusce tristique posuere ipsum. Nulla facilisi. Aliquam viverra risus vitae ante. Sed rhoncus mi in wisi. Nullam nibh dui, molestie vitae, imperdiet non, ornare at, elit.

Suspendisse accumsan, arcu vel ornare interdum, magna tellus porta mauris, in porta mi lacus sodales felis.
Phasellus eleifend, diam vitae dapibus pulvinar, erat ligula auctor dui, eget congue justo lorem hendrerit tellus.
Fusce gravida, ligula a placerat placerat, leo erat euismod lectus, et lacinia justo libero non pede.

Fusce gravida, ligula a placerat placerat, leo erat euismod lectus, et lacinia justo libero non pede. Vivamus ac velit vel magna nonummy pretium.

Etiam ut augue
Aliquam erat volutpat

null

Fact Table
Network	09-Variance Analysis (http://www.xbrlsite.com/proof/role/VarianceAnalysis)
Table	proof:VarianceAnalysisHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:ActualMember (label)	proof:ComprehensiveIncome (label)	3000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:BudgetedMember (label)	proof:ComprehensiveIncome (label)	3750	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:VarianceMember (label)	proof:ComprehensiveIncome (label)	-750	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:ActualMember (label)	proof:Expenses (label)	3000	iso4217:USD	INF
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:BudgetedMember (label)	proof:Expenses (label)	2000	iso4217:USD	INF
6	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:VarianceMember (label)	proof:Expenses (label)	1000	iso4217:USD	INF
7	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:ActualMember (label)	proof:Gains (label)	1000	iso4217:USD	INF
8	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:BudgetedMember (label)	proof:Gains (label)	750	iso4217:USD	INF
9	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:VarianceMember (label)	proof:Gains (label)	250	iso4217:USD	INF
10	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:ActualMember (label)	proof:Losses (label)	2000	iso4217:USD	INF
11	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:BudgetedMember (label)	proof:Losses (label)	1000	iso4217:USD	INF
12	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:VarianceMember (label)	proof:Losses (label)	1000	iso4217:USD	INF
13	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:ActualMember (label)	proof:Revenues (label)	7000	iso4217:USD	INF
14	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:BudgetedMember (label)	proof:Revenues (label)	6000	iso4217:USD	INF
15	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:VarianceMember (label)	proof:Revenues (label)	1000	iso4217:USD	INF

Fact Table
Network	10-Segment Revenues (http://www.xbrlsite.com/proof/role/SegmentRevenues)
Table	proof:SegmentRevenuesHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:AllSegmentsMember (label)	proof:Revenues (label)	7000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:SegmentAlphaMember (label)	proof:Revenues (label)	1000	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:SegmentBravoMember (label)	proof:Revenues (label)	4000	iso4217:USD	INF
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	proof:SegmentCharlieMember (label)	proof:Revenues (label)	2000	iso4217:USD	INF

Fact Table
Network	11-Stock Plan Activity (http://www.xbrlsite.com/proof/role/StockPlanActivity)
Table	proof:WeightedAverageGrantDateFairValueHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Forfeited (label)	35.93	iso4217:USD/shares	2
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Granted (label)	41.51	iso4217:USD/shares	2
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2019-12-31	null	proof:NonvestedFairValue (label)	32.72	iso4217:USD/shares	2
4	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-12-31	null	proof:NonvestedFairValue (label)	36.92	iso4217:USD/shares	2
5	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Vested (label)	30.92	iso4217:USD/shares	2

Fact Table
Network	12-Financial Highlights (http://www.xbrlsite.com/proof/role/FinancialHighlights)
Table	proof:FinancialHighlightsHypercube (label)

#	Reporting Entity [Axis]	Period [Axis]	Scenario [Axis]	Concept	Fact Value	Unit	Rounding
1	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:ComprehensiveIncome (label)	3000	iso4217:USD	INF
2	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:DistributionsToOwners (label)	500	iso4217:USD	INF
3	GH259400TOMPUOLS65II (http://standards.iso.org/iso/17442)	2020-01-01 to 2020-12-31	null	proof:Revenues (label)	7000	iso4217:USD	INF

Rules

Type	Defined	Bound	OK
formula	0	0	0
existenceAssertion	0	0	0
valueAssertion	19	30	30
calculation	23	57	57

Rule Details

Errors and Warnings

Other than rule related

NONE.

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

Type	Name	Rule Expression	Prolog form
valueAssertion	Adjustment_ADJ01 ok:1 failed:0	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 ok:2 failed:0	Assets=Liabilities+Equity	'Arithmetic_BS01' valueAssertion Assets=Liabilities+Equity variables Assets: [concept(proof:'Assets')], Equity: [concept(proof:'Equity')], Liabilities: [concept(proof:'Liabilities')].
valueAssertion	Arithmetic_BS02 ok:2 failed:0	Assets=CurrentAssets+NoncurrentAssets	'Arithmetic_BS02' valueAssertion Assets=CurrentAssets+NoncurrentAssets variables Assets: [concept(proof:'Assets')], CurrentAssets: [concept(proof:'CurrentAssets')], NoncurrentAssets: [concept(proof:'NoncurrentAssets')].
valueAssertion	Arithmetic_BS03 ok:2 failed:0	Liabilities=CurrentLiabilities+NoncurrentLiabilities	'Arithmetic_BS03' valueAssertion Liabilities=CurrentLiabilities+NoncurrentLiabilities variables CurrentLiabilities: [concept(proof:'CurrentLiabilities')], Liabilities: [concept(proof:'Liabilities')], NoncurrentLiabilities: [concept(proof:'NoncurrentLiabilities')].
valueAssertion	Arithmetic_BS04 ok:2 failed:0	Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests	'Arithmetic_BS04' valueAssertion Equity=EquityAttributableToControllingInterests+EquityAttributableToNoncontrollingInterests variables Equity: [concept(proof:'Equity')], EquityAttributableToControllingInterests: [concept(proof:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests: [concept(proof:'EquityAttributableToNoncontrollingInterests')].
valueAssertion	Arithmetic_CF01 ok:1 failed:0	NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities	'Arithmetic_CF01' valueAssertion NetCashFlow=NetCashFlowOperatingActivities+NetCashFlowFinancingActivities+NetCashFlowInvestingActivities variables NetCashFlow: [concept(proof:'NetCashFlow')], NetCashFlowFinancingActivities: [concept(proof:'NetCashFlowFinancingActivities')], NetCashFlowInvestingActivities: [concept(proof:'NetCashFlowInvestingActivities')], NetCashFlowOperatingActivities: [concept(proof:'NetCashFlowOperatingActivities')].
valueAssertion	Arithmetic_IS01 ok:4 failed:0	ComprehensiveIncome=Revenues-Expenses+Gains-Losses	'Arithmetic_IS01' valueAssertion ComprehensiveIncome=Revenues-Expenses+Gains-Losses variables ComprehensiveIncome: [concept(proof:'ComprehensiveIncome')], Expenses: [concept(proof:'Expenses')], Gains: [concept(proof:'Gains')], Losses: [concept(proof:'Losses')], Revenues: [concept(proof:'Revenues')].
valueAssertion	Arithmetic_IS02 ok:1 failed:0	ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity	'Arithmetic_IS02' valueAssertion ComprehensiveIncome=IncomeFromNormalActivitiesOfEntity+IncomeFromPeripheralOrIncidentalTransactionsOfEntity variables ComprehensiveIncome: [concept(proof:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity: [concept(proof:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity: [concept(proof:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')].
valueAssertion	Arithmetic_NA01 ok:2 failed:0	NetAssets=Assets-Liabilities	'Arithmetic_NA01' valueAssertion NetAssets=Assets-Liabilities variables Assets: [concept(proof:'Assets')], Liabilities: [concept(proof:'Liabilities')], NetAssets: [concept(proof:'NetAssets')].
valueAssertion	MemberAggregation_MA1 ok:3 failed:0	Total eq sum(Each)	'MemberAggregation_MA1' valueAssertion Total eq sum(Each) variables Each: [explicitDimension(proof:'SegmentsAxis',[under('Total','http://www.xbrlsite.com/proof/role/SegmentRevenues','http://xbrl.org/int/dim/arcrole/domain-member',child)]),concept(proof:'Revenues')], Total: [concept(proof:'Revenues')].
valueAssertion	RollForward_CF01 ok:1 failed:0	Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd	'RollForward_CF01' valueAssertion Assets_BalanceStart+NetCashFlow=Assets_BalanceEnd variables Assets_BalanceEnd: [concept(proof:'Assets'),instantDuration('NetCashFlow',end)], Assets_BalanceStart: [concept(proof:'Assets'),instantDuration('NetCashFlow',start)], NetCashFlow: [concept(proof:'NetCashFlow')].
valueAssertion	RollForward_SHE01 ok:1 failed:0	Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd	'RollForward_SHE01' valueAssertion Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd variables ComprehensiveIncome: [concept(proof:'ComprehensiveIncome')], DistributionsToOwners: [concept(proof:'DistributionsToOwners')], Equity_BalanceEnd: [concept(proof:'Equity'),instantDuration('ComprehensiveIncome',end)], Equity_BalanceStart: [concept(proof:'Equity'),instantDuration('ComprehensiveIncome',start)], InvestmentsByOwners: [concept(proof:'InvestmentsByOwners')].
valueAssertion	Variance_VAR01 ok:1 failed:0	Actual=Budget+Variance	'Variance_VAR01' valueAssertion Actual=Budget+Variance variables Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Revenues')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Revenues')], Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Revenues')].
valueAssertion	Variance_VAR02 ok:1 failed:0	Actual=Budget+Variance	'Variance_VAR02' valueAssertion Actual=Budget+Variance variables Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Expenses')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Expenses')], Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Expenses')].
valueAssertion	Variance_VAR03 ok:1 failed:0	Actual=Budget+Variance	'Variance_VAR03' valueAssertion Actual=Budget+Variance variables Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Gains')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Gains')], Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Gains')].
valueAssertion	Variance_VAR04 ok:1 failed:0	Actual=Budget+Variance	'Variance_VAR04' valueAssertion Actual=Budget+Variance variables Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'Losses')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'Losses')], Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'Losses')].
valueAssertion	Variance_VAR05 ok:1 failed:0	Actual=Budget+Variance	'Variance_VAR05' valueAssertion Actual=Budget+Variance variables Actual: [explicitDimension(proof:'ScenarioAxis',[proof:'ActualMember']),concept(proof:'ComprehensiveIncome')], Budget: [explicitDimension(proof:'ScenarioAxis',[proof:'BudgetedMember']),concept(proof:'ComprehensiveIncome')], Variance: [explicitDimension(proof:'ScenarioAxis',[proof:'VarianceMember']),concept(proof:'ComprehensiveIncome')].
valueAssertion	CONSISTENCY_AccountingEquation ok:2 failed:0	Assets=Liabilities+Equity	'CONSISTENCY_AccountingEquation' valueAssertion Assets=Liabilities+Equity variables Assets: [concept(proof:'Assets')], Equity: [concept(proof:'Equity')], Liabilities: [concept(proof:'Liabilities')].
valueAssertion	CONSISTENCY_SFAC6_ElementsOfFinancialStatement ok:1 failed:0	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(proof:'Assets'),instantDuration('Revenues',end)], DistributionsToOwners: [concept(proof:'DistributionsToOwners')], Equity_BalanceStart: [concept(proof:'Equity'),instantDuration('Revenues',start)], Expenses: [concept(proof:'Expenses')], Gains: [concept(proof:'Gains')], InvestmentsByOwners: [concept(proof:'InvestmentsByOwners')], Liabilities_BalanceEnd: [concept(proof:'Liabilities'),instantDuration('Revenues',end)], Losses: [concept(proof:'Losses')], Revenues: [concept(proof:'Revenues')].
calculation	proof:Assets (in BalanceSheet) ok:2 failed:0	total=CurrentAssets_21+NoncurrentAssets_11	calculation('http://www.xbrlsite.com/proof/role/BalanceSheet',proof:'Assets') valueAssertion /* not loadable / total=CurrentAssets_21+NoncurrentAssets_1*1 variables total: [concept(proof:'Assets')], CurrentAssets_2: [concept(proof:'CurrentAssets')], NoncurrentAssets_1: [concept(proof:'NoncurrentAssets')].
calculation	proof:Equity (in BalanceSheet) ok:2 failed:0	total=EquityAttributableToControllingInterests_21+EquityAttributableToNoncontrollingInterests_11	calculation('http://www.xbrlsite.com/proof/role/BalanceSheet',proof:'Equity') valueAssertion /* not loadable / total=EquityAttributableToControllingInterests_21+EquityAttributableToNoncontrollingInterests_1*1 variables total: [concept(proof:'Equity')], EquityAttributableToControllingInterests_2: [concept(proof:'EquityAttributableToControllingInterests')], EquityAttributableToNoncontrollingInterests_1: [concept(proof:'EquityAttributableToNoncontrollingInterests')].
calculation	proof:Liabilities (in BalanceSheet) ok:2 failed:0	total=CurrentLiabilities_21+NoncurrentLiabilities_11	calculation('http://www.xbrlsite.com/proof/role/BalanceSheet',proof:'Liabilities') valueAssertion /* not loadable / total=CurrentLiabilities_21+NoncurrentLiabilities_1*1 variables total: [concept(proof:'Liabilities')], CurrentLiabilities_2: [concept(proof:'CurrentLiabilities')], NoncurrentLiabilities_1: [concept(proof:'NoncurrentLiabilities')].
calculation	proof:LiabilitiesAndEquity (in BalanceSheet) ok:2 failed:0	total=Liabilities_21+Equity_11	calculation('http://www.xbrlsite.com/proof/role/BalanceSheet',proof:'LiabilitiesAndEquity') valueAssertion /* not loadable / total=Liabilities_21+Equity_1*1 variables total: [concept(proof:'LiabilitiesAndEquity')], Liabilities_2: [concept(proof:'Liabilities')], Equity_1: [concept(proof:'Equity')].
calculation	proof:NetCashFlow (in CashFlow) ok:1 failed:0	total=NetCashFlowOperatingActivities_31+(NetCashFlowInvestingActivities_21+NetCashFlowFinancingActivities_1*1)	calculation('http://www.xbrlsite.com/proof/role/CashFlow',proof:'NetCashFlow') valueAssertion /* not loadable / total=NetCashFlowOperatingActivities_31+(NetCashFlowInvestingActivities_21+NetCashFlowFinancingActivities_11) variables total: [concept(proof:'NetCashFlow')], NetCashFlowOperatingActivities_3: [concept(proof:'NetCashFlowOperatingActivities')], NetCashFlowInvestingActivities_2: [concept(proof:'NetCashFlowInvestingActivities')], NetCashFlowFinancingActivities_1: [concept(proof:'NetCashFlowFinancingActivities')].
calculation	proof:ComprehensiveIncome (in ComprehensiveIncome) ok:4 failed:0	total=Revenues_41+(Expenses_3 -1+(Gains_21+Losses_1 -1))	calculation('http://www.xbrlsite.com/proof/role/ComprehensiveIncome',proof:'ComprehensiveIncome') valueAssertion /* not loadable / total=Revenues_41+(Expenses_3* -1+(Gains_21+Losses_1 -1)) variables total: [concept(proof:'ComprehensiveIncome')], Revenues_4: [concept(proof:'Revenues')], Expenses_3: [concept(proof:'Expenses')], Gains_2: [concept(proof:'Gains')], Losses_1: [concept(proof:'Losses')].
calculation	proof:ComprehensiveIncome (in ComprehensiveIncome2) ok:1 failed:0	total=IncomeFromNormalActivitiesOfEntity_21+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_11	calculation('http://www.xbrlsite.com/proof/role/ComprehensiveIncome2',proof:'ComprehensiveIncome') valueAssertion /* not loadable / total=IncomeFromNormalActivitiesOfEntity_21+IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1*1 variables total: [concept(proof:'ComprehensiveIncome')], IncomeFromNormalActivitiesOfEntity_2: [concept(proof:'IncomeFromNormalActivitiesOfEntity')], IncomeFromPeripheralOrIncidentalTransactionsOfEntity_1: [concept(proof:'IncomeFromPeripheralOrIncidentalTransactionsOfEntity')].
calculation	proof:NetAssets (in NetAssets) ok:2 failed:0	total=Assets_21+Liabilities_1 -1	calculation('http://www.xbrlsite.com/proof/role/NetAssets',proof:'NetAssets') valueAssertion /* not loadable / total=Assets_21+Liabilities_1* -1 variables total: [concept(proof:'NetAssets')], Assets_2: [concept(proof:'Assets')], Liabilities_1: [concept(proof:'Liabilities')].
calculation	proof:ComprehensiveIncome (in VarianceAnalysis) ok:4 failed:0	total=Revenues_41+(Expenses_3 -1+(Gains_21+Losses_1 -1))	calculation('http://www.xbrlsite.com/proof/role/VarianceAnalysis',proof:'ComprehensiveIncome') valueAssertion /* not loadable / total=Revenues_41+(Expenses_3* -1+(Gains_21+Losses_1 -1)) variables total: [concept(proof:'ComprehensiveIncome')], Revenues_4: [concept(proof:'Revenues')], Expenses_3: [concept(proof:'Expenses')], Gains_2: [concept(proof:'Gains')], Losses_1: [concept(proof:'Losses')].

The Report

User Alterations

Table of Contents

Terms

Model Structures

Definition Graphs

Fact Tables

Rules

Rule Details

Errors and Warnings