Rules

TypeDefinedBoundDerivedOKFail
formula00000
existenceAssertion00000
valueAssertion12190190
calculation8320320

Rule Details

TypeName Rule ExpressionProlog form
valueAssertionAdjustment_ADJ01
  • derived:0
  • 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')].
valueAssertionArithmetic_BS01
  • derived:0
  • 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')].
valueAssertionArithmetic_IS01
  • derived:0
  • 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')].
valueAssertionMemberAggregation_MA1
  • derived:0
  • 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')].
valueAssertionRollForward_SHE01
  • derived:0
  • 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')].
valueAssertionVariance_VAR01
  • derived:0
  • 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')].
valueAssertionVariance_VAR02
  • derived:0
  • 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')].
valueAssertionVariance_VAR03
  • derived:0
  • 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')].
valueAssertionVariance_VAR04
  • derived:0
  • 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')].
valueAssertionVariance_VAR05
  • derived:0
  • 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')].
valueAssertionCONSISTENCY_AccountingEquation
  • derived:0
  • 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')].
valueAssertionCONSISTENCY_SFAC6_ElementsOfFinancialStatement
  • derived:0
  • 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')].
calculationproof:ComprehensiveIncome (in ComprehensiveIncome)
  • derived:0
  • ok:4
  • failed:0
 total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) 
calculation('http://www.xbrlsite.com/proof/role/ComprehensiveIncome',proof:'ComprehensiveIncome') valueAssertion /* not loadable */
  total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_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')].
calculationproof:ComprehensiveIncome (in VarianceAnalysis)
  • derived:0
  • ok:4
  • failed:0
 total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_1)) 
calculation('http://www.xbrlsite.com/proof/role/VarianceAnalysis',proof:'ComprehensiveIncome') valueAssertion /* not loadable */
  total=Revenues_4+(-Expenses_3+(Gains_2+ -Losses_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')].