| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU1 | When the reported value of `EquityProvidedOrGuaranteed` is equal to `Ja` then `GrantedPriorExemption ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU10 | When the reported value of `InvestmentsAsReferredToInTheInvestmentRegulations` is equal to `Ja` then ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU11 | When the reported value of `AgreementsConcludedWithThirdParties` is equal to `Ja` then `AccuracyAndC ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU12 | When the reported value of `ActivitiesAsReferredToTheHousingAct` is equal to `Ja` then `PreApprovedB ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU13 | When the reported value of `CollegialLoans` is equal to `Ja` then `CollegialLoansRequirements` MUST ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU2 | When the reported value of `TransactionsWithFinancialInstitutions` is equal to `Ja` then `Transactio ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU3 | When the reported value of `DecisionsTakenDuringTheReportingPeriod` is equal to `Ja` then `Decisions ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU4 | When the reported value of `HomesSoldToOwnerOccupiersOrSocialRealEstate` is equal to `Ja` then `Sale ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU5 | When the reported value of `SalesOfSharesInSubsidiaryCompanies` is equal to `Ja` then `ApprovedSales ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU6 | When the reported value of `ActivitiesWhichBelongToNonDaebActivities` is equal to `Ja` then `Permiss ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU7 | When the reported value of `LegalObligationsAndProvisionsForSocialRealEstate` is equal to `Ja` then ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU8 | When the reported value of `DerivativeTransactions` is equal to `Ja` then `RegulationRegardingDeriva ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnExistenceCovU9 | When the reported value of `NewInvestmentTransactionsClosed` is equal to `Ja` then `RegulationRegard ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU1 | When the reported value of `EquityProvidedOrGuaranteed` is equal to `Nee` then `GrantedPriorExemptio ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU10 | When the reported value of `InvestmentsAsReferredToInTheInvestmentRegulations` is equal to `Nee` the ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU11 | When the reported value of `AgreementsConcludedWithThirdParties` is equal to `Nee` then `AccuracyAnd ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU12 | When the reported value of `ActivitiesAsReferredToTheHousingAct` is equal to `Nee` then `PreApproved ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU13 | When the reported value of `CollegialLoans` is equal to `Nee` then `CollegialLoansRequirements` MUST ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU2 | When the reported value of `TransactionsWithFinancialInstitutions` is equal to `Nee` then `Transacti ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU3 | When the reported value of `DecisionsTakenDuringTheReportingPeriod` is equal to `Nee` then `Decision ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU4 | When the reported value of `HomesSoldToOwnerOccupiersOrSocialRealEstate` is equal to `Nee` then `Sal ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU5 | When the reported value of `SalesOfSharesInSubsidiaryCompanies` is equal to `Nee` then `ApprovedSale ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU6 | When the reported value of `ActivitiesWhichBelongToNonDaebActivities` is equal to `Nee` then `Permis ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU7 | When the reported value of `LegalObligationsAndProvisionsForSocialRealEstate` is equal to `Nee` then ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU8 | When the reported value of `DerivativeTransactions` is equal to `Nee` then `RegulationRegardingDeriv ... | ERROR |
| valueAssertion_AccountabilityComplianceWithSpecificLegalProvisionsHousingDvi_PrtFST1ValueThnNoExistenceCovU9 | When the reported value of `NewInvestmentTransactionsClosed` is equal to `Nee` then `RegulationRegar ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST101Variable1 | `EquityAndLiabilities` MUST be equal to + `Assets`. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists1 | When at least one of the underlying values of `LiabilitiesNoncurrent` is reported `LiabilitiesNoncur ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists10 | When at least one of the underlying values of `Assets` is reported `Assets` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists11 | When at least one of the underlying values of `FinancialAssets` is reported `FinancialAssets` MUST a ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists12 | When at least one of the underlying values of `PropertyPlantEquipment` is reported `PropertyPlantEqu ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists13 | When at least one of the underlying values of `Receivables` is reported `Receivables` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists14 | When at least one of the underlying values of `Inventories` is reported `Inventories` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists2 | When at least one of the underlying values of `EquityAndLiabilities` is reported `EquityAndLiabiliti ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists3 | When at least one of the underlying values of `Provisions` is reported `Provisions` MUST also be rep ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists4 | When at least one of the underlying values of `LiabilitiesCurrent` is reported `LiabilitiesCurrent` ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists5 | When at least one of the underlying values of `EquityGroup` is reported `EquityGroup` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists6 | When at least one of the underlying values of `AssetsCurrent` is reported `AssetsCurrent` MUST also ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists7 | When at least one of the underlying values of `AssetsNoncurrent` is reported `AssetsNoncurrent` MUST ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1ChildrenExistDParentExists9 | When at least one of the underlying values of `InvestmentProperties` is reported `InvestmentProperti ... | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit1 | `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit2 | `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit3 | `Provisions` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit4 | `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentCredit5 | `EquityGroup` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit1 | `AssetsCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit2 | `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit4 | `InvestmentProperties` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit5 | `Assets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit6 | `FinancialAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit7 | `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit8 | `Receivables` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetConsolidatedHousingDvi_PrtFST1SumOfChildrenDParentDebit9 | `Inventories` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST101Variable1 | `EquityAndLiabilities` MUST be equal to + `Assets`. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists1 | When at least one of the underlying values of `Equity` is reported `Equity` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists10 | When at least one of the underlying values of `PropertyPlantEquipment` is reported `PropertyPlantEqu ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists11 | When at least one of the underlying values of `FinancialAssets` is reported `FinancialAssets` MUST a ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists12 | When at least one of the underlying values of `AssetsCurrent` is reported `AssetsCurrent` MUST also ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists13 | When at least one of the underlying values of `Inventories` is reported `Inventories` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists14 | When at least one of the underlying values of `Receivables` is reported `Receivables` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists2 | When at least one of the underlying values of `Provisions` is reported `Provisions` MUST also be rep ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists3 | When at least one of the underlying values of `LiabilitiesNoncurrent` is reported `LiabilitiesNoncur ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists4 | When at least one of the underlying values of `LiabilitiesCurrent` is reported `LiabilitiesCurrent` ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists5 | When at least one of the underlying values of `EquityAndLiabilities` is reported `EquityAndLiabiliti ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists6 | When at least one of the underlying values of `Assets` is reported `Assets` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists7 | When at least one of the underlying values of `AssetsNoncurrent` is reported `AssetsNoncurrent` MUST ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1ChildrenExistDParentExists9 | When at least one of the underlying values of `InvestmentProperties` is reported `InvestmentProperti ... | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1 | `Equity` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2 | `Provisions` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3 | `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4 | `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5 | `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2 | `InvestmentProperties` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3 | `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4 | `FinancialAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit5 | `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6 | `Inventories` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7 | `Receivables` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8 | `AssetsCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9 | `Assets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST101Variable1 | `EquityAndLiabilities` MUST be equal to + `Assets`. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists1 | When at least one of the underlying values of `EquityAndLiabilities` is reported `EquityAndLiabiliti ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists10 | When at least one of the underlying values of `AssetsNoncurrent` is reported `AssetsNoncurrent` MUST ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists12 | When at least one of the underlying values of `InvestmentProperties` is reported `InvestmentProperti ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists13 | When at least one of the underlying values of `PropertyPlantEquipment` is reported `PropertyPlantEqu ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists14 | When at least one of the underlying values of `FinancialAssets` is reported `FinancialAssets` MUST a ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists2 | When at least one of the underlying values of `Equity` is reported `Equity` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists3 | When at least one of the underlying values of `Provisions` is reported `Provisions` MUST also be rep ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists4 | When at least one of the underlying values of `LiabilitiesNoncurrent` is reported `LiabilitiesNoncur ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists5 | When at least one of the underlying values of `LiabilitiesCurrent` is reported `LiabilitiesCurrent` ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists6 | When at least one of the underlying values of `Assets` is reported `Assets` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists7 | When at least one of the underlying values of `AssetsCurrent` is reported `AssetsCurrent` MUST also ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists8 | When at least one of the underlying values of `Inventories` is reported `Inventories` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1ChildrenExistDParentExists9 | When at least one of the underlying values of `Receivables` is reported `Receivables` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentCredit1 | `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentCredit2 | `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentCredit3 | `Provisions` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentCredit4 | `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentCredit5 | `Equity` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit1 | `Assets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit2 | `Receivables` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit3 | `AssetsCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit5 | `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit6 | `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit7 | `Inventories` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit8 | `InvestmentProperties` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetHousingDvi_PrtFST1SumOfChildrenDParentDebit9 | `FinancialAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST101Variable1 | `EquityAndLiabilities` MUST be equal to + `Assets`. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists1 | When at least one of the underlying values of `EquityAndLiabilities` is reported `EquityAndLiabiliti ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists10 | When at least one of the underlying values of `AssetsNoncurrent` is reported `AssetsNoncurrent` MUST ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists11 | When at least one of the underlying values of `FinancialAssets` is reported `FinancialAssets` MUST a ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists12 | When at least one of the underlying values of `PropertyPlantEquipment` is reported `PropertyPlantEqu ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists13 | When at least one of the underlying values of `InvestmentProperties` is reported `InvestmentProperti ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists2 | When at least one of the underlying values of `LiabilitiesCurrent` is reported `LiabilitiesCurrent` ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists3 | When at least one of the underlying values of `LiabilitiesNoncurrent` is reported `LiabilitiesNoncur ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists4 | When at least one of the underlying values of `Provisions` is reported `Provisions` MUST also be rep ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists5 | When at least one of the underlying values of `EquityGroup` is reported `EquityGroup` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists6 | When at least one of the underlying values of `Assets` is reported `Assets` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists7 | When at least one of the underlying values of `AssetsCurrent` is reported `AssetsCurrent` MUST also ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists8 | When at least one of the underlying values of `Inventories` is reported `Inventories` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1ChildrenExistDParentExists9 | When at least one of the underlying values of `Receivables` is reported `Receivables` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentCredit1 | `EquityGroup` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentCredit2 | `Provisions` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentCredit3 | `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentCredit4 | `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentCredit5 | `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit2 | `InvestmentProperties` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit3 | `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit4 | `FinancialAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit5 | `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit6 | `Inventories` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit7 | `Receivables` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit8 | `AssetsCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenDParentDebit9 | `Assets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST101Variable1 | `EquityAndLiabilities` MUST be equal to + `Assets`. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists1 | When at least one of the underlying values of `LiabilitiesCurrent` is reported `LiabilitiesCurrent` ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists10 | When at least one of the underlying values of `LiabilitiesNoncurrent` is reported `LiabilitiesNoncur ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists11 | When at least one of the underlying values of `AssetsCurrent` is reported `AssetsCurrent` MUST also ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists12 | When at least one of the underlying values of `AssetsNoncurrent` is reported `AssetsNoncurrent` MUST ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists13 | When at least one of the underlying values of `InvestmentProperties` is reported `InvestmentProperti ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists14 | When at least one of the underlying values of `Receivables` is reported `Receivables` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists2 | When at least one of the underlying values of `Inventories` is reported `Inventories` MUST also be r ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists3 | When at least one of the underlying values of `Assets` is reported `Assets` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists4 | When at least one of the underlying values of `Provisions` is reported `Provisions` MUST also be rep ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists5 | When at least one of the underlying values of `PropertyPlantEquipment` is reported `PropertyPlantEqu ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists7 | When at least one of the underlying values of `EquityAndLiabilities` is reported `EquityAndLiabiliti ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists8 | When at least one of the underlying values of `Equity` is reported `Equity` MUST also be reported. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1ChildrenExistDParentExists9 | When at least one of the underlying values of `FinancialAssets` is reported `FinancialAssets` MUST a ... | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit1 | `LiabilitiesCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit2 | `Provisions` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit3 | `LiabilitiesNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit4 | `EquityAndLiabilities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentCredit5 | `Equity` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit1 | `Assets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit2 | `InvestmentProperties` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit3 | `AssetsNoncurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit4 | `Receivables` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit6 | `FinancialAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit7 | `PropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit8 | `AssetsCurrent` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_BalanceSheetNonDaebHousingDvi_PrtFST1SumOfChildrenDParentDebit9 | `Inventories` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST103Variables1 | `IncreaseDecreaseCashAndCashEquivalents` MUST be equal to + `CashFlowOperatingActivities` + `CashFlo ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `CashFlowOperatingActivities` is reported `CashFlowOpe ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `BalanceCashInflows` is reported `BalanceCashInflows` ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `BalanceCashOutflows` is reported `BalanceCashOutflows ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `CashFlowInvestingActivities` is reported `CashFlowInv ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `ProceedsSalesPropertyPlantAndEquipment` is reported ` ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `PurchasePropertyPlantEquipment` is reported `Purchase ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `BalanceFinancialFixedAssets` is reported `BalanceFina ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `CashFlowFinancingActivities` is reported `CashFlowFin ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `CashFlowPPEActivities` is reported `CashFlowPPEActivi ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `CashAndCashEquivalentsCashFlow` at end of period MUST be equal to `CashAndCashEquivalentsCashFlow` ... | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `BalanceCashOutflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `PurchasePropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `CashFlowOperatingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit2 | `BalanceCashInflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit3 | `CashFlowInvestingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit4 | `CashFlowPPEActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit5 | `ProceedsSalesPropertyPlantAndEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit6 | `CashFlowFinancingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit7 | `BalanceFinancialFixedAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST103Variables1 | `IncreaseDecreaseCashAndCashEquivalents` MUST be equal to + `CashFlowOperatingActivities` + `CashFlo ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `BalanceFinancialFixedAssets` is reported `BalanceFina ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `BalanceCashInflows` is reported `BalanceCashInflows` ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `CashFlowInvestingActivities` is reported `CashFlowInv ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `PurchasePropertyPlantEquipment` is reported `Purchase ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `CashFlowFinancingActivities` is reported `CashFlowFin ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `CashFlowPPEActivities` is reported `CashFlowPPEActivi ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `BalanceCashOutflows` is reported `BalanceCashOutflows ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `CashFlowOperatingActivities` is reported `CashFlowOpe ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `ProceedsSalesPropertyPlantAndEquipment` is reported ` ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `CashAndCashEquivalentsCashFlow` at end of period MUST be equal to `CashAndCashEquivalentsCashFlow` ... | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `BalanceCashOutflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `PurchasePropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `CashFlowOperatingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit2 | `BalanceCashInflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit3 | `CashFlowInvestingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit4 | `CashFlowPPEActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit5 | `ProceedsSalesPropertyPlantAndEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit6 | `BalanceFinancialFixedAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit7 | `CashFlowFinancingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST103Variables1 | `IncreaseDecreaseCashAndCashEquivalents` MUST be equal to + `CashFlowOperatingActivities` + `CashFlo ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `BalanceCashInflows` is reported `BalanceCashInflows` ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `CashFlowInvestingActivities` is reported `CashFlowInv ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `PurchasePropertyPlantEquipment` is reported `Purchase ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `CashFlowPPEActivities` is reported `CashFlowPPEActivi ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `CashFlowFinancingActivities` is reported `CashFlowFin ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `CashFlowOperatingActivities` is reported `CashFlowOpe ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `BalanceFinancialFixedAssets` is reported `BalanceFina ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `ProceedsSalesPropertyPlantAndEquipment` is reported ` ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `BalanceCashOutflows` is reported `BalanceCashOutflows ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `CashAndCashEquivalentsCashFlow` at end of period MUST be equal to `CashAndCashEquivalentsCashFlow` ... | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `BalanceCashOutflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `PurchasePropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `CashFlowOperatingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit2 | `BalanceCashInflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit3 | `CashFlowInvestingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit4 | `CashFlowPPEActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit5 | `ProceedsSalesPropertyPlantAndEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit6 | `BalanceFinancialFixedAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementHousingDvi_PrtFST1SumOfChildrenParentDebit7 | `CashFlowFinancingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST103Variables1 | `IncreaseDecreaseCashAndCashEquivalents` MUST be equal to + `CashFlowOperatingActivities` + `CashFlo ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `CashFlowFinancingActivities` is reported `CashFlowFin ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `CashFlowInvestingActivities` is reported `CashFlowInv ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `BalanceCashInflows` is reported `BalanceCashInflows` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `PurchasePropertyPlantEquipment` is reported `Purchase ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `BalanceFinancialFixedAssets` is reported `BalanceFina ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `ProceedsSalesPropertyPlantAndEquipment` is reported ` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `CashFlowPPEActivities` is reported `CashFlowPPEActivi ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `CashFlowOperatingActivities` is reported `CashFlowOpe ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `BalanceCashOutflows` is reported `BalanceCashOutflows ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `CashAndCashEquivalentsCashFlow` at end of period MUST be equal to `CashAndCashEquivalentsCashFlow` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `PurchasePropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `BalanceCashOutflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `CashFlowOperatingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit2 | `BalanceCashInflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit3 | `CashFlowInvestingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit4 | `CashFlowPPEActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit5 | `ProceedsSalesPropertyPlantAndEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit6 | `BalanceFinancialFixedAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit7 | `CashFlowFinancingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST103Variables1 | `IncreaseDecreaseCashAndCashEquivalents` MUST be equal to + `CashFlowOperatingActivities` + `CashFlo ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `CashFlowPPEActivities` is reported `CashFlowPPEActivi ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `CashFlowFinancingActivities` is reported `CashFlowFin ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `PurchasePropertyPlantEquipment` is reported `Purchase ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `BalanceCashInflows` is reported `BalanceCashInflows` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `CashFlowOperatingActivities` is reported `CashFlowOpe ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `BalanceCashOutflows` is reported `BalanceCashOutflows ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `ProceedsSalesPropertyPlantAndEquipment` is reported ` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `CashFlowInvestingActivities` is reported `CashFlowInv ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `BalanceFinancialFixedAssets` is reported `BalanceFina ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `CashAndCashEquivalentsCashFlow` at end of period MUST be equal to `CashAndCashEquivalentsCashFlow` ... | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `BalanceCashOutflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `PurchasePropertyPlantEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `CashFlowOperatingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit2 | `BalanceCashInflows` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit3 | `CashFlowInvestingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit4 | `CashFlowPPEActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit5 | `ProceedsSalesPropertyPlantAndEquipment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit6 | `BalanceFinancialFixedAssets` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_CashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit7 | `CashFlowFinancingActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_ChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueCovAThn03ValueOR1 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Ja` then `ChangeAccou ... | ERROR |
| valueAssertion_ChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueThnNoExistence1 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Nee` then `ChangeAcco ... | ERROR |
| valueAssertion_ChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueThnNoExistence2 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Nee` then `PriorPerio ... | ERROR |
| valueAssertion_ChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueThnNoExistence3 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Nee` then `OtherDiffe ... | ERROR |
| valueAssertion_ConcentrationTenantsAdditionalInformationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovDU1 | When the reported value of `SingleTenantResponsibleForMoreThanOnePercentOfTheAnnualRent` is equal to ... | ERROR |
| valueAssertion_ConcentrationTenantsAdditionalInformationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovDU2 | When the reported value of `SingleTenantResponsibleForMoreThanOnePercentOfTheAnnualRent` is equal to ... | ERROR |
| valueAssertion_ConcentrationTenantsAdditionalInformationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovDU1 | When the reported value of `SingleTenantResponsibleForMoreThanOnePercentOfTheAnnualRent` is equal to ... | ERROR |
| valueAssertion_ConcentrationTenantsAdditionalInformationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovDU2 | When the reported value of `SingleTenantResponsibleForMoreThanOnePercentOfTheAnnualRent` is equal to ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NetResultAfterTax` is reported `NetResultAfterTax` MU ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST als ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST a ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported `Ne ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reporte ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `Changes ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOther ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncome ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is report ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `NetResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `ResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit3 | `ResultBeforeTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit4 | `NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values ... | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit5 | `NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit6 | `NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit7 | `NetResultOtherActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit8 | `FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit9 | `ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST a ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST als ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `Changes ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is report ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOther ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncome ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reporte ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `ResultBeforeTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values ... | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3 | `ResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5 | `NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6 | `NetResultOtherActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7 | `FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8 | `ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncome ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is report ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `Changes ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reporte ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOther ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST als ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST a ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported `Ne ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `ResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `ResultBeforeTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3 | `NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values ... | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit4 | `NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit5 | `NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit6 | `NetResultOtherActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit7 | `FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit8 | `ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reporte ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST a ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncome ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is report ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `Changes ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST als ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOther ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported `Ne ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9 | When at least one of the underlying values of `NetResultAfterTax` is reported `NetResultAfterTax` MU ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `NetResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `ResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3 | `ResultBeforeTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4 | `NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values ... | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5 | `NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6 | `NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7 | `NetResultOtherActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8 | `FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9 | `ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncome ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists2 | When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is report ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists3 | When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOther ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists4 | When at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported `Ne ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists5 | When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `Changes ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists6 | When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reporte ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists7 | When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST als ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists8 | When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST a ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `ResultAfterTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2 | `ResultBeforeTax` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3 | `NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values ... | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit4 | `NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5 | `NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6 | `NetResultOtherActivities` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7 | `FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_IncomeStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8 | `ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `PolicyValue` is reported `PolicyValue` MUST also be r ... | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `PolicyValue` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `PolicyValue` is reported `PolicyValue` MUST also be r ... | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `PolicyValue` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateNonDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `PolicyValue` is reported `PolicyValue` MUST also be r ... | ERROR |
| valueAssertion_MarketValueAndPolicyValueInRentedStateNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `PolicyValue` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `MarketValueLoans` is reported `MarketValueLoans` MUST ... | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `MarketValueLoans` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `MarketValueLoans` is reported `MarketValueLoans` MUST ... | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `MarketValueLoans` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesNonDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `MarketValueLoans` is reported `MarketValueLoans` MUST ... | ERROR |
| valueAssertion_MarketValueBorrowingsDerivativesNonDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `MarketValueLoans` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTypesOfRealEstateAxis` and `TypesOfRealEstateMember` MUST be e ... | ERROR |
| valueAssertion_MarketValueInRentedStateTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `TypesOfRealEstateMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_MarketValueInRentedStateTotalNonDaebCompoundHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTypesOfRealEstateAxis` and `TypesOfRealEstateMember` MUST be e ... | ERROR |
| valueAssertion_MarketValueInRentedStateTotalNonDaebCompoundHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `TypesOfRealEstateMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_MarketValueInRentedStateTotalNonDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTypesOfRealEstateAxis` and `TypesOfRealEstateMember` MUST be e ... | ERROR |
| valueAssertion_MarketValueInRentedStateTotalNonDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `TypesOfRealEstateMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtDateEarlierDateLater1 | The date reported for `NonWSWSecuredLoanContractStartDate` MUST be earlier than the date reported fo ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `LoanNumberAxis` is used `BranchActivity` MUST be reported with `LoanNumberAxis`. | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU2 | When `LoanNumberAxis` is used `NonWSWSecuredLoanBorrower` MUST be reported with `LoanNumberAxis`. | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU3 | When `LoanNumberAxis` is used `NonWSWSecuredLoanTypeLoan` MUST be reported with `LoanNumberAxis`. | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU4 | When `LoanNumberAxis` is used `NonWSWSecuredLoanContractStartDate` MUST be reported with `LoanNumber ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU5 | When `LoanNumberAxis` is used `NonWSWSecuredLoanContractEndDate` MUST be reported with `LoanNumberAx ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU6 | When `LoanNumberAxis` is used `NonWSWSecuredLoanRemainingLiability` MUST be reported with `LoanNumbe ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU7 | When `LoanNumberAxis` is used `NonWSWSecuredLoanNameFinancier` MUST be reported with `LoanNumberAxis ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Variabel` then `NonWSWSecuredLoa ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU2 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Variabel` then `NonWSWSecuredLoa ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU4 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Vast` then `NonWSWSecuredLoanCou ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU5 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Vast` then `NonWSWSecuredLoanInt ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Vast` then `NonWSWSecuredLoanEur ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU2 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Vast` then `NonWSWSecuredLoanEur ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU4 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Variabel` then `NonWSWSecuredLoa ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU5 | When the reported value of `NonWSWSecuredLoanTypeLoan` is equal to `Variabel` then `NonWSWSecuredLoa ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtFSTNumericEQExistenceConceptTypedCovU1 | `BranchActivity` with `LoanNumberAxis` MUST be reported the same amount of times as is reported in ` ... | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtValueThnExistenceTAxisCovA1 | When the reported value of `WSWLoans` is equal to `Ja` then `LoanNumberAxis` MUST be reported on. | ERROR |
| valueAssertion_NonWswSecuredLoansSpecificationConsolidatedHousingDvi_PrtValueThnNoExistenceTAxisCovA1 | When the reported value of `WSWLoans` is equal to `Nee` then `LoanNumberAxis` MUST NOT be reported o ... | ERROR |
| valueAssertion_NotesCashFlowStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `Allocations` is reported `Allocations` MUST also be r ... | ERROR |
| valueAssertion_NotesCashFlowStatementDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `Allocations` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_NotesCashFlowStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `Allocations` is reported `Allocations` MUST also be r ... | ERROR |
| valueAssertion_NotesCashFlowStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `Allocations` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_NotesCashFlowStatementNonDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `Allocations` is reported `Allocations` MUST also be r ... | ERROR |
| valueAssertion_NotesCashFlowStatementNonDaebHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `Allocations` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_NotesChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueThnExistenceCovPU1 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Ja` then `ChangeOfSta ... | ERROR |
| valueAssertion_NotesChangeOfStatementPreviousReportingPeriodHousingDvi_PrtValueThnNoExistenceCovPU1 | When the reported value of `OpeningClosingBalanceSheetDifference` is equal to `Nee` then `ChangeOfSt ... | ERROR |
| valueAssertion_NumberOfAssignmentsNumberOfHouseholdsHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NumberOfAssignmentsPerRentalLimitNumberOfHouseholds` ... | ERROR |
| valueAssertion_NumberOfAssignmentsNumberOfHouseholdsHousingDvi_PrtFST1SumOfChildren1 | `NumberOfAssignmentsPerRentalLimitNumberOfHouseholds` MUST be equal to the summation of the underlyi ... | ERROR |
| valueAssertion_NumberOfAssignmentsSinglePersonHouseholdsHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NumberOfAssignmentsPerRentalLimitSinglePersonHousehol ... | ERROR |
| valueAssertion_NumberOfAssignmentsSinglePersonHouseholdsHousingDvi_PrtFST1SumOfChildren1 | `NumberOfAssignmentsPerRentalLimitSinglePersonHouseholds` MUST be equal to the summation of the unde ... | ERROR |
| valueAssertion_NumberOfAssignmentsTripleAndMultiplePersonHouseholdsHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NumberOfAssignmentsPerRentalLimitTripleAndMultiplePer ... | ERROR |
| valueAssertion_NumberOfAssignmentsTripleAndMultiplePersonHouseholdsHousingDvi_PrtFST1SumOfChildren1 | `NumberOfAssignmentsPerRentalLimitTripleAndMultiplePerson` MUST be equal to the summation of the und ... | ERROR |
| valueAssertion_NumberOfAssignmentsTwoPersonHouseholdsHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NumberOfAssignmentsPerRentalLimitTwoPersonHouseholds` ... | ERROR |
| valueAssertion_NumberOfAssignmentsTwoPersonHouseholdsHousingDvi_PrtFST1SumOfChildren1 | `NumberOfAssignmentsPerRentalLimitTwoPersonHouseholds` MUST be equal to the summation of the underly ... | ERROR |
| valueAssertion_NumberOfNonWswSecuredLoansConsolidatedHousingDvi_PrtFST1NumericGTConstant1 | `NonWSWSecuredLoans` MUST be greater than 0. | ERROR |
| valueAssertion_NumberOfNonWswSecuredLoansConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1 | When the reported value of `WSWLoans` is equal to `Ja` then `NonWSWSecuredLoans` MUST exist at least ... | ERROR |
| valueAssertion_NumberOfNonWswSecuredLoansConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1 | When the reported value of `WSWLoans` is equal to `Nee` then `NonWSWSecuredLoans` MUST NOT be report ... | ERROR |
| valueAssertion_OffBalanceSheetObligationsConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `QuantifiableObligations` is reported `QuantifiableObl ... | ERROR |
| valueAssertion_OffBalanceSheetObligationsConsolidatedHousingDvi_PrtFST1SumOfChildrenParentCredit1 | `QuantifiableObligations` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_OffBalanceSheetRightsConsolidatedHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `QuantifiableRights` is reported `QuantifiableRights` ... | ERROR |
| valueAssertion_OffBalanceSheetRightsConsolidatedHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `QuantifiableRights` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1 | When the reported value of `PledgingOfInvestmentsRentalFeesAndOrOtherAssets` is equal to `Ja` then ` ... | ERROR |
| valueAssertion_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU3 | When the reported value of `CreditFacility` is equal to `Ja` then `MaximumCreditAmount` MUST exist a ... | ERROR |
| valueAssertion_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1 | When the reported value of `PledgingOfInvestmentsRentalFeesAndOrOtherAssets` is equal to `Nee` then ... | ERROR |
| valueAssertion_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU3 | When the reported value of `CreditFacility` is equal to `Nee` then `MaximumCreditAmount` MUST NOT be ... | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTotalUnitsInExploitationAxis` and `UnitsInExploitationMember` ... | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalNonDaebCompoundHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTotalUnitsInExploitationAxis` and `UnitsInExploitationMember` ... | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalNonDaebCompoundHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalNonDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `MarketValue` reported with `ClassesOfTotalUnitsInExploitationAxis` and `UnitsInExploitationMember` ... | ERROR |
| valueAssertion_OverviewUnityLevelInExploitationTotalNonDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_OverviewUnityLevelRegisterGoodsConstructionContractsConsolidatedTotalHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_OverviewUnityLevelRegisterGoodsInventoryConsolidatedTotalHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_OverviewUnityLevelRegisterGoodsRealEstateOwnExploitationTotalConsolidatedHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `UnitsInExploitationMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_PaymentsDueToTerminationEmploymentSeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfSeniorOfficialTerminationOfEmploymentAxis` is used `UnduePayments` MUST be reported with ... | ERROR |
| valueAssertion_PaymentsDueToTerminationEmploymentSeniorOfficialsHousingDvi_PrtFST1NumericGEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be greater than or equal to 0.025. | ERROR |
| valueAssertion_PaymentsDueToTerminationEmploymentSeniorOfficialsHousingDvi_PrtFST1NumericLEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be less than or equal to 1.000. | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsFrom13MonthHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `RemunerationExcludingUnduePayments` is reported `Remu ... | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsFrom13MonthHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfSeniorOfficialAxis` is used `UnduePayments` MUST be reported with `NameOfSeniorOfficialA ... | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsFrom13MonthHousingDvi_PrtFST1NumericGEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be greater than or equal to 0.025. | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsFrom13MonthHousingDvi_PrtFST1NumericLEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be less than or equal to 1.000. | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsFrom13MonthHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `RemunerationExcludingUnduePayments` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsWithoutEmployment12MonthsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfSeniorOfficialWithoutEmploymentAxis` is used `UnduePayments` MUST be reported with `Name ... | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsWithoutEmployment12MonthsHousingDvi_PrtFST1ValueThnExistenceCovU1 | When the reported value of `ActualRemunerationPerHourLowerThanMaximum` is equal to `Nee` then `Remun ... | ERROR |
| valueAssertion_RemunerationExecutiveSeniorOfficialsWithoutEmployment12MonthsHousingDvi_PrtFST1ValueThnNoExistenceCovU1 | When the reported value of `ActualRemunerationPerHourLowerThanMaximum` is equal to `Ja` then `Remune ... | ERROR |
| valueAssertion_RemunerationNonSupervisorySeniorOfficialsOtherWntInstitutionHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfNonSupervisorySeniorOfficialAxis` is used `UnduePayments` MUST be reported with `NameOfN ... | ERROR |
| valueAssertion_RemunerationOfExecutiveSeniorOfficialsConsideredFourYearsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfSeniorOfficialConsideredFourYearsAxis` is used `UnduePayments` MUST be reported with `Na ... | ERROR |
| valueAssertion_RemunerationOfNonSeniorOfficialsHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `Remuneration` is reported `Remuneration` MUST also be ... | ERROR |
| valueAssertion_RemunerationOfNonSeniorOfficialsHousingDvi_PrtFST1NumericGEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be greater than or equal to 0.025. | ERROR |
| valueAssertion_RemunerationOfNonSeniorOfficialsHousingDvi_PrtFST1NumericLEConstant1 | `ScopeOfTheEmploymentDuringTheFinancialYearInFTE` MUST be less than or equal to 1.000. | ERROR |
| valueAssertion_RemunerationOfNonSeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1 | `Remuneration` MUST be equal to the summation of the underlying values. | ERROR |
| valueAssertion_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1 | When `NameOfSupervisorySeniorOfficialWithoutEmploymentAxis` is used `UnduePayments` MUST be reported ... | ERROR |
| valueAssertion_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1 | `MutationMonthlyRent` divided by `MonthlyRentBasedOnNumbers` at beginning of period, rounded to 4 de ... | ERROR |
| valueAssertion_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1 | The mutation during the period, `MutationMonthlyRent`, MUST be equal to the difference between the r ... | ERROR |
| valueAssertion_RepaymentScheduleInternalLoanDaebNonDaebMovementHousingDvi_PrtFST1PeriodStart02MutationsPeriodEnd1 | `InternalLoan` at end of period MUST be equal to `InternalLoan` at beginning of period - `Redemption ... | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `RentalIncome` reported with `ClassesOfSpecificationOfTheRentalIncomeAxis` and `RentIncomeMember` MU ... | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `RentIncomeMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeNonDaebCompoundHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `RentalIncome` reported with `ClassesOfSpecificationOfTheRentalIncomeAxis` and `RentIncomeMember` MU ... | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeNonDaebCompoundHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `RentIncomeMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeNonDaebHousingDvi_PrtFST1FactExplicitEQFactNonExplicit1 | `RentalIncome` reported with `ClassesOfSpecificationOfTheRentalIncomeAxis` and `RentIncomeMember` MU ... | ERROR |
| valueAssertion_SpecificationOfTheRentalIncomeNonDaebHousingDvi_PrtFST1SumOfMembersOnAbstract1 | `RentIncomeMember` MUST be equal to the summation of the underlying children members. | ERROR |
| valueAssertion_StateSupportArrangementsDaebHousingDvi_PrtFST1ChildrenExistParentExists1 | When at least one of the underlying values of `NumberOfRentalAgreements` is reported `NumberOfRental ... | ERROR |
| valueAssertion_StateSupportArrangementsDaebHousingDvi_PrtFST1SumOfChildren1 | `NumberOfRentalAgreements` MUST be equal to the summation of the underlying values. | ERROR |