`MarketValue` MOET minimaal één keer voorkomen. `NumberOfUltimoReportingYear` met `TypesOfRealEstateMember` MOET gelijk zijn aan + `NumberOfUltimoReportingYear` met `UnitsInExploitationMember`. `PolicyValue` MOET gelijk zijn aan + `MarketValue`. `PolicyValue` MOET gelijk zijn aan + `MarketValue`. `PolicyValue` MOET gelijk zijn aan + `MarketValue`. `PolicyValue` MOET gelijk zijn aan + `MarketValue`. `TypesOfRealEstateMember` MOET gelijk zijn aan de sommatie van de onderliggende domeinleden.