`AssetsCurrent` MUST also be reported, because at least one of the underlying values of `AssetsCurrent` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_ChildrenOfAssetsCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_ChildrenOfAssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_AssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `AssetsCurrent` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_AssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `AssetsNoncurrent` MUST also be reported, because at least one of the underlying values of `AssetsNoncurrent` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfAssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfAssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_AssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_AssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfAssetsNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfAssetsNoncurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfAssetsNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfAssetsNoncurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Assets` MUST also be reported, because at least one of the underlying values of `Assets` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfAssets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_Assets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_Assets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Assets` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_Assets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_Assets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `CommercialRealEstateInExploitation` MUST exist at least once. `CommercialRealEstateInExploitation` MUST exist at least once. `EquityAndLiabilities` MUST also be reported, because at least one of the underlying values of `EquityAndLiabilities` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_ChildrenOfEquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_ChildrenOfEquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_EquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `EquityAndLiabilities` MUST be equal to + `Assets`. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST101Variable1_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST101Variable1_EquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST101Variable1_Assets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST101Variable1_Assets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_EquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfEquityAndLiabilitiesCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfEquityAndLiabilitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfEquityAndLiabilitiesDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfEquityAndLiabilitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Equity` MUST also be reported, because at least one of the underlying values of `Equity` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists8_ChildrenOfEquity')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists8_ChildrenOfEquity return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists8_Equity')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists8_Equity return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Equity` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_Equity')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_Equity return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `FinancialAssets` MUST also be reported, because at least one of the underlying values of `FinancialAssets` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_ChildrenOfFinancialAssets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_ChildrenOfFinancialAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_FinancialAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `FinancialAssets` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_FinancialAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Inventories` MUST also be reported, because at least one of the underlying values of `Inventories` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfInventories')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfInventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_Inventories')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_Inventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Inventories` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_Inventories')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_Inventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentProperties` MUST also be reported, because at least one of the underlying values of `InvestmentProperties` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfInvestmentProperties')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfInvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_InvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentProperties` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_InvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `LegalStatutoryReserves` MUST exist at least once. `LegalStatutoryReserves` MUST exist at least once. `LiabilitiesCurrent` MUST also be reported, because at least one of the underlying values of `LiabilitiesCurrent` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfLiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfLiabilitiesCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_LiabilitiesCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_LiabilitiesCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesCurrentCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesCurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesCurrentDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesCurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `LiabilitiesNoncurrent` MUST also be reported, because at least one of the underlying values of `LiabilitiesNoncurrent` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfLiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfLiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_LiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_LiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PropertyPlantEquipment` MUST also be reported, because at least one of the underlying values of `PropertyPlantEquipment` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfPropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfPropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_PropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_PropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` MUST also be reported, because at least one of the underlying values of `Provisions` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_ChildrenOfProvisions')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_ChildrenOfProvisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_Provisions')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_Provisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_Provisions')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_Provisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Receivables` MUST also be reported, because at least one of the underlying values of `Receivables` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_ChildrenOfReceivables')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_ChildrenOfReceivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_Receivables')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_Receivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Receivables` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_Receivables')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_Receivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfReceivablesDebit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfReceivablesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfReceivablesCredit')))) then ((for $v in $varArc_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfReceivablesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ReservesOther` MUST exist at least once. `ReservesOther` MUST exist at least once. `ResultForTheYear` MUST exist at least once. `ResultForTheYear` MUST exist at least once. `RevaluationReserve` MUST exist at least once. `RevaluationReserve` MUST exist at least once.