Value Assertions

Type	Defined	Bound	Derived	OK	Fail
valueAssertion	9	9	0	9	0

Type

Defined

Bound

Derived

Fail

valueAssertion

#	Type	Name	Rule Expression
1	valueAssertion	RULE001_MA_Foots_ContractRevenueEstimatedRevenue ok:1 failed:0	Total=sum(Each) 1 instance: 118258000 {10986000, 10585000, 49809000, 13872000, 14020000, 18986000}
2	valueAssertion	RULE002_MA_Foots_ContractCostsEstimatedCost ok:1 failed:0	Total=sum(Each) 1 instance: 113175000 {10556000, 9965000, 47683000, 13392000, 13443000, 18136000}
3	valueAssertion	RULE003_MA_Foots_ContractGrossProfitTotalContract ok:1 failed:0	Total=sum(Each) 1 instance: 5083000 {430000, 620000, 2126000, 480000, 577000, 850000}
4	valueAssertion	RULE004_MA_Foots_ContractRevenueEarnedToDate ok:1 failed:0	Total=sum(Each) 1 instance: 75606000 {619000, 10388000, 35877000, 10492000, 0, 18230000}
5	valueAssertion	RULE005_MA_Foots_ContractCostsIncurredToDate ok:1 failed:0	Total=sum(Each) 1 instance: 72316000 {619000, 9780000, 34376000, 10127000, 0, 17414000}
6	valueAssertion	RULE006_MA_Foots_ContractGrossProfitFromInceptionToDate ok:1 failed:0	Total=sum(Each) 1 instance: 3290000 {0, 608000, 1501000, 365000, 0, 816000}
7	valueAssertion	RULE007_MA_Foots_ContractBillingsFromInceptionToDate ok:1 failed:0	Total=sum(Each) 1 instance: 77932000 {513000, 10663000, 37602000, 10498000, 0, 18656000}
8	valueAssertion	RULE008_MA_Foots_ContractCostsEstimatedCostToComplete ok:1 failed:0	Total=sum(Each) 1 instance: 40859000 {9937000, 185000, 13307000, 3265000, 13443000, 722000}
9	valueAssertion	RULE009_MA_Foots_CostsAndEstimatedEarningsInExcessOfBillingsNet ok:1 failed:0	Total=sum(Each) 1 instance: -2326000 {106000, -275000, -1725000, -6000, 0, -426000}

Type

Name

Rule Expression

valueAssertion

RULE001_MA_Foots_ContractRevenueEstimatedRevenue

ok:1
failed:0

Total=sum(Each)

1 instance:

118258000 {10986000, 10585000, 49809000, 13872000, 14020000, 18986000}

valueAssertion

RULE002_MA_Foots_ContractCostsEstimatedCost

ok:1
failed:0

Total=sum(Each)

1 instance:

113175000 {10556000, 9965000, 47683000, 13392000, 13443000, 18136000}

valueAssertion

RULE003_MA_Foots_ContractGrossProfitTotalContract

ok:1
failed:0

Total=sum(Each)

1 instance:

5083000 {430000, 620000, 2126000, 480000, 577000, 850000}

valueAssertion

RULE004_MA_Foots_ContractRevenueEarnedToDate

ok:1
failed:0

Total=sum(Each)

1 instance:

75606000 {619000, 10388000, 35877000, 10492000, 0, 18230000}

valueAssertion

RULE005_MA_Foots_ContractCostsIncurredToDate

ok:1
failed:0

Total=sum(Each)

1 instance:

72316000 {619000, 9780000, 34376000, 10127000, 0, 17414000}

valueAssertion

RULE006_MA_Foots_ContractGrossProfitFromInceptionToDate

ok:1
failed:0

Total=sum(Each)

1 instance:

3290000 {0, 608000, 1501000, 365000, 0, 816000}

valueAssertion

RULE007_MA_Foots_ContractBillingsFromInceptionToDate

ok:1
failed:0

Total=sum(Each)

1 instance:

77932000 {513000, 10663000, 37602000, 10498000, 0, 18656000}

valueAssertion

RULE008_MA_Foots_ContractCostsEstimatedCostToComplete

ok:1
failed:0

Total=sum(Each)

1 instance:

40859000 {9937000, 185000, 13307000, 3265000, 13443000, 722000}

valueAssertion

RULE009_MA_Foots_CostsAndEstimatedEarningsInExcessOfBillingsNet

ok:1
failed:0

Total=sum(Each)

1 instance:

-2326000 {106000, -275000, -1725000, -6000, 0, -426000}

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