Generated by Pacioli version 54f833c (updated 2 hours ago). Analysis at 2021-06-16T22:02:28+0000 for charles.hoffman@me.com. This page will remain online at https://pacioli.logicalcontracts.com/reportAnalysis/9f7f4380c8fe0b91d223d9b6e4346fab4e42974a.report/index.html for about 28 days.

TypeDefinedBoundDerivedOKFail
valueAssertion7100100

Rule Details

TypeName Rule ExpressionProlog form (technical)
valueAssertionArithmetic_BS01
  • derived:0
  • ok:2
  • failed:0
 

Assets=Liabilities+Equity

2 instances:

sfac6:Assets[0] = sfac6:Liabilities[0] + sfac6:Equity[0]

sfac6:Assets[3500] = sfac6:Liabilities[0] + sfac6:Equity[3500]

 

'Arithmetic_BS01' valueAssertion
  Assets=Liabilities+Equity
  variables
  Assets: [concept(sfac6:'Assets')],
  Equity: [concept(sfac6:'Equity')],
  Liabilities: [concept(sfac6:'Liabilities')].
valueAssertionArithmetic_CNA01
  • derived:0
  • ok:1
  • failed:0
 

ChangeInNetAssets=Revenues-Expenses+Gains-Losses

1 instance:

sfac6:ChangeInNetAssets[3000] = sfac6:Revenues[7000] - sfac6:Expenses[3000] + sfac6:Gains[1000] - sfac6:Losses[2000]

 

'Arithmetic_CNA01' valueAssertion
  ChangeInNetAssets=Revenues-Expenses+Gains-Losses
  variables
  ChangeInNetAssets: [concept(sfac6:'ChangeInNetAssets')],
  Expenses: [concept(sfac6:'Expenses')],
  Gains: [concept(sfac6:'Gains')],
  Losses: [concept(sfac6:'Losses')],
  Revenues: [concept(sfac6:'Revenues')].
valueAssertionArithmetic_IS01
  • derived:0
  • ok:1
  • failed:0
 

ComprehensiveIncome=Revenues-Expenses+Gains-Losses

1 instance:

sfac6:ComprehensiveIncome[3000] = sfac6:Revenues[7000] - sfac6:Expenses[3000] + sfac6:Gains[1000] - sfac6:Losses[2000]

 

'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')].
valueAssertionArithmetic_NP01
  • derived:0
  • ok:2
  • failed:0
 

NetAssets=Assets-Liabilities

2 instances:

sfac6:NetAssets[0] = sfac6:Assets[0] - sfac6:Liabilities[0]

sfac6:NetAssets[3500] = sfac6:Assets[3500] - sfac6:Liabilities[0]

 

'Arithmetic_NP01' valueAssertion
  NetAssets=Assets-Liabilities
  variables
  Assets: [concept(sfac6:'Assets')],
  Liabilities: [concept(sfac6:'Liabilities')],
  NetAssets: [concept(sfac6:'NetAssets')].
valueAssertionArithmetic_NP02
  • derived:0
  • ok:2
  • failed:0
 

NetPosition=NetPositionPermanentlyRestricted+NetPositionTemporarilyRestricted+NetPositionUnrestricted

2 instances:

sfac6:FundBalance[0] = sfac6:FundBalancePermanentlyRestricted[0] + sfac6:FundBalanceTemporarilyRestricted[0] + sfac6:FundBalanceUnrestricted[0]

sfac6:FundBalance[3500] = sfac6:FundBalancePermanentlyRestricted[2000] + sfac6:FundBalanceTemporarilyRestricted[1000] + sfac6:FundBalanceUnrestricted[500]

 

'Arithmetic_NP02' valueAssertion
  NetPosition=NetPositionPermanentlyRestricted+NetPositionTemporarilyRestricted+NetPositionUnrestricted
  variables
  NetPosition: [concept(sfac6:'FundBalance')],
  NetPositionPermanentlyRestricted: [concept(sfac6:'FundBalancePermanentlyRestricted')],
  NetPositionTemporarilyRestricted: [concept(sfac6:'FundBalanceTemporarilyRestricted')],
  NetPositionUnrestricted: [concept(sfac6:'FundBalanceUnrestricted')].
valueAssertionRollForward_CNP01
  • derived:0
  • ok:1
  • failed:0
 

FundBalance_BalanceStart+ChangeInNetAssets+OtherIncreasesDecreasesInFundBalance=FundBalance_BalanceEnd

1 instance:

sfac6:FundBalance[0] + sfac6:ChangeInNetAssets[3000] + sfac6:OtherIncreasesDecreasesInFundBalance[500] = sfac6:FundBalance[3500]

 

'RollForward_CNP01' valueAssertion
  FundBalance_BalanceStart+ChangeInNetAssets+OtherIncreasesDecreasesInFundBalance=FundBalance_BalanceEnd
  variables
  ChangeInNetAssets: [concept(sfac6:'ChangeInNetAssets')],
  FundBalance_BalanceEnd: [concept(sfac6:'FundBalance'),instantDuration('ChangeInNetAssets',end)],
  FundBalance_BalanceStart: [concept(sfac6:'FundBalance'),instantDuration('ChangeInNetAssets',start)],
  OtherIncreasesDecreasesInFundBalance: [concept(sfac6:'OtherIncreasesDecreasesInFundBalance')].
valueAssertionRollForward_SHE01
  • derived:0
  • ok:1
  • failed:0
 

Equity_BalanceStart+ComprehensiveIncome+InvestmentsByOwners-DistributionsToOwners=Equity_BalanceEnd

1 instance:

sfac6:Equity[0] + sfac6:ComprehensiveIncome[3000] + sfac6:InvestmentsByOwners[1000] - sfac6:DistributionsToOwners[500] = sfac6:Equity[3500]

 

'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('DistributionsToOwners',end)],
  Equity_BalanceStart: [concept(sfac6:'Equity'),instantDuration('DistributionsToOwners',start)],
  InvestmentsByOwners: [concept(sfac6:'InvestmentsByOwners')].

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