`MarketValue` MOET minimaal één keer voorkomen.
`MarketValue` gerapporteerd met `ClassesOfTypesOfRealEstateAxis` en `TypesOfRealEstateMember` MOET gelijk zijn aan `CommercialRealEstateInExploitation` zonder `ClassesOfTypesOfRealEstateAxis` en `TypesOfRealEstateMember`.
`NumberOfUltimoReportingYear` met `TypesOfRealEstateMember` MOET gelijk zijn aan + `NumberOfUltimoReportingYear` met `UnitsInExploitationMember`.
`TypesOfRealEstateMember` MOET gelijk zijn aan de sommatie van de onderliggende domeinleden.