`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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists6_ChildrenOfAssetsCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists6_ChildrenOfAssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists6_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists6_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_AssetsCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_AssetsCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsCurrentDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsCurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_ChildrenOfAssetsCurrentCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists7_ChildrenOfAssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists7_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_AssetsNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_AssetsNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfAssetsNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfAssetsNoncurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_ChildrenOfAssetsNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfAssets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists10_ChildrenOfAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists10_Assets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists10_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_Assets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_Assets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_ChildrenOfAssetsCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfEquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists2_ChildrenOfEquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists2_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists2_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_BalanceSheetConsolidatedHousingDvi_PrtFST101Variable1_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST101Variable1_Assets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_EquityAndLiabilities')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_EquityAndLiabilities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfEquityAndLiabilitiesCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfEquityAndLiabilitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfEquityAndLiabilitiesDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2_ChildrenOfEquityAndLiabilitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `EquityGroup` MUST also be reported, because at least one of the underlying values of `EquityGroup` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfEquityGroup')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists5_ChildrenOfEquityGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists5_EquityGroup')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists5_EquityGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `EquityGroup` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_EquityGroup')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_EquityGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityGroupCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityGroupCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityGroupDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5_ChildrenOfEquityGroupDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Equity` MUST exist at least once. `Equity` MUST exist at least once. `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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists11_ChildrenOfFinancialAssets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists11_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit6_FinancialAssets')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit6_ChildrenOfFinancialAssetsCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists14_ChildrenOfInventories')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists14_ChildrenOfInventories return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists14_Inventories')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists14_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit9_Inventories')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit9_ChildrenOfInventoriesCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists9_ChildrenOfInvestmentProperties')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists9_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_InvestmentProperties')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_InvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfInvestmentPropertiesDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfInvestmentPropertiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfInvestmentPropertiesCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4_ChildrenOfInvestmentPropertiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists4_ChildrenOfLiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists4_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit4_LiabilitiesCurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfLiabilitiesCurrentCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit4_ChildrenOfLiabilitiesCurrentDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfLiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists1_ChildrenOfLiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists1_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists1_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_LiabilitiesNoncurrent')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_LiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesNoncurrentCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesNoncurrentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesNoncurrentDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1_ChildrenOfLiabilitiesNoncurrentDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NoncontrollingInterest` MUST exist at least once. `NoncontrollingInterest` MUST exist at least once. `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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfPropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists12_ChildrenOfPropertyPlantEquipment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists12_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists12_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit7_PropertyPlantEquipment')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit7_ChildrenOfPropertyPlantEquipmentCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfProvisions')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists3_ChildrenOfProvisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists3_Provisions')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists3_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_Provisions')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_Provisions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfProvisionsCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfProvisionsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_ChildrenOfProvisionsDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3_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_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfReceivables')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists13_ChildrenOfReceivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists13_Receivables')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists13_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_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_Receivables')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_Receivables return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfReceivablesDebit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfReceivablesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfReceivablesCredit')))) then ((for $v in $varArc_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8_ChildrenOfReceivablesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `SocialRealEstateInExploitation` MUST exist at least once. `SocialRealEstateInExploitation` MUST exist at least once.