Derivation Rules

Generated by Pacioli version 45d7c8c (updated 3 years, 5 months ago). Analysis at 2026-09-20T14:27:46+0000 for myAUDTaddress. Return to MAIN PAGE

Type	Defined	Bound	Derived	OK	Fail
formula	9	0	2	0	0

Derivation Rules

#	Type	Name	Rule Expression
1	formula	FAC_IMPUTE_BS_Impute_01 Added derived:0	if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null derives fac:Assets
2	formula	FAC_IMPUTE_BS_Impute_02 Added derived:0	if exists(LiabilitiesAndEquity)and exists(CurrentAssets)and exists(LiabilitiesAndEquity)and Assets eq null and NoncurrentAssets eq null then CurrentAssets else null derives fac:Assets
3	formula	FAC_IMPUTE_BS_Impute_03 Added derived:0	if Assets eq null and NoncurrentAssets eq null and exists(Liabilities)and exists(Equity)and exists(LiabilitiesAndEquity)and LiabilitiesAndEquity=Liabilities+Equity then CurrentAssets else null derives fac:Assets
4	formula	FAC_IMPUTE_BS_Impute_04 Added derived:0	if Assets eq null and NoncurrentAssets eq null and exists(CurrentAssets)then Assets-CurrentAssets else null derives fac:NoncurrentAssets
5	formula	FAC_IMPUTE_BS_Impute_05 Added derived:0	if LiabilitiesAndEquity eq null and exists(Assets)then Assets else null derives fac:LiabilitiesAndEquity
6	formula	FAC_IMPUTE_BS_Impute_12 Added derived:0	if NoncurrentLiabilities eq null and exists(Liabilities)and exists(CurrentLiabilities)then Liabilities-CurrentLiabilities else null derives fac:NoncurrentLiabilities
7	formula	FAC_IMPUTE_BS_Impute_14 Added derived:0	if Liabilities eq null and exists(CurrentLiabilities)and exists(NoncurrentLiabilities)then CurrentLiabilities+NoncurrentLiabilities else null derives fac:Liabilities
8	formula	FAC_IMPUTE_BS_Impute_56 Added derived:0	if NoncurrentLiabilities eq null and exists(CurrentLiabilities)and exists(Liabilities)then Liabilities-CurrentLiabilities else null derives fac:NoncurrentLiabilities
9	formula	FAC_IMPUTE_IS_Impute_21 Added derived:2	if GrossProfit eq null and exists(Revenues)and exists(CostOfRevenue)then Revenues-CostOfRevenue else null derives fac:GrossProfit 2 instances: if fac:GrossProfit[0] eq null and exists fac:Revenues[0] and exists fac:CostOfRevenue[0] then fac:Revenues[0] - fac:CostOfRevenue[0] else null derived fac:GrossProfit[0] if fac:GrossProfit[0] eq null and exists fac:Revenues[8,000] and exists fac:CostOfRevenue[5,300] then fac:Revenues[8,000] - fac:CostOfRevenue[5,300] else null derived fac:GrossProfit[2,700]

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

When all intervening facts have been checked by consistency rules these are are in green
Rules with inconsistent facts in red
Rules that were not evaluated, because they had no facts to bind, in yellow
Derivation rules (if any) that have derived (imputed) facts which have not been checked are in blue

For more information: http://accounting.auditchain.finance/index.html
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