AssetsCurrent ({$AssetsCurrent}) must be equal to the summation of the underlying values ({$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentDebit2_ChildrenOfAssetsCurrentDebit}-{$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentDebit2_ChildrenOfAssetsCurrentCredit}).
AssetsNoncurrent ({$AssetsNoncurrent}) must be equal to the summation of the underlying values ({$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentDebit1_ChildrenOfAssetsNoncurrentDebit}-{$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentDebit1_ChildrenOfAssetsNoncurrentCredit}).
BalanceSheetBeforeAfterAppropriationResults must exist at least once.
Equity ({$Equity}) must be equal to the summation of the underlying values ({$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentCredit1_ChildrenOfEquityCredit}-{$varArc_BalanceSheetVertical_MsgSeparateSumOfChildrenParentCredit1_ChildrenOfEquityDebit}).
OutcomeAssetsCurrentLessLiabilitiesCurrent ({$varArc_BalanceSheetVertical_MsgSeparateTwoVariables1_OutcomeAssetsCurrentLessLiabilitiesCurrent}) must be equal to + AssetsCurrent ({$varArc_BalanceSheetVertical_MsgSeparateTwoVariables1_AssetsCurrent}) - LiabilitiesCurrent ({$varArc_BalanceSheetVertical_MsgSeparateTwoVariables1_LiabilitiesCurrent}).
OutcomeAssetsLessLiabilitiesCurrent ({$varArc_BalanceSheetVertical_MsgSeparateThreeVariables1_OutcomeAssetsLessLiabilitiesCurrent}) must be equal to + AssetsNoncurrent ({$varArc_BalanceSheetVertical_MsgSeparateThreeVariables1_AssetsNoncurrent}) + AssetsCurrent ({$varArc_BalanceSheetVertical_MsgSeparateThreeVariables1_AssetsCurrent}) - LiabilitiesCurrent ({$varArc_BalanceSheetVertical_MsgSeparateThreeVariables1_LiabilitiesCurrent}).
When the reported value of BalanceSheetBeforeAfterAppropriationResults is equal to Na then ResultForTheYear must not be reported.