`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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfAssetsCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfAssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists12_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfAssetsCurrentCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_ChildrenOfAssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_ChildrenOfAssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists7_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_AssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsNoncurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists6_ChildrenOfAssets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists6_ChildrenOfAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists6_Assets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists6_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_Assets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_Assets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfAssetsDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfAssetsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfAssetsCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfAssetsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfEquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfEquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists5_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_BalanceSheetDaebHousingDvi_PrtFST101Variable1_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST101Variable1_Assets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_EquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityAndLiabilitiesCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityAndLiabilitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityAndLiabilitiesDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfEquity')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfEquity return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_Equity')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists1_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_Equity')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_Equity return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfEquityCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfEquityCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfEquityDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_ChildrenOfFinancialAssets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_ChildrenOfFinancialAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists11_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_FinancialAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfFinancialAssetsDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfFinancialAssetsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfFinancialAssetsCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfInventories')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfInventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_Inventories')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists13_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_Inventories')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_Inventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfInventoriesDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfInventoriesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfInventoriesCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_ChildrenOfInvestmentProperties')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_ChildrenOfInvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists9_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfInvestmentPropertiesCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_ChildrenOfLiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_ChildrenOfLiabilitiesCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists4_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_LiabilitiesCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfLiabilitiesCurrentCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfLiabilitiesCurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfLiabilitiesCurrentDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfLiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfLiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists3_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfLiabilitiesNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfPropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfPropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists10_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_PropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfPropertyPlantEquipmentDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfPropertyPlantEquipmentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_ChildrenOfPropertyPlantEquipmentCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfProvisions')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfProvisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_Provisions')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists2_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_Provisions')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfProvisionsDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_ChildrenOfReceivables')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists14_Receivables')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_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_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_Receivables')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_Receivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfReceivablesDebit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfReceivablesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfReceivablesCredit')))) then ((for $v in $varArc_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7_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.
`SocialRealEstateInExploitation` MUST exist at least once.
`SocialRealEstateInExploitation` MUST exist at least once.