`MarketValue` MUST exist at least once. `MarketValue` reported with `ClassesOfTypesOfRealEstateAxis` and `TypesOfRealEstateMember` MUST be equal to `CommercialRealEstateInExploitation` without `ClassesOfTypesOfRealEstateAxis` and `TypesOfRealEstateMember`. `NumberOfUltimoReportingYear` with `TypesOfRealEstateMember` MUST be equal to + `NumberOfUltimoReportingYear` with `UnitsInExploitationMember`. `PolicyValue` MUST be equal to + `MarketValue`. `PolicyValue` MUST be equal to + `MarketValue`. `PolicyValue` MUST be equal to + `MarketValue`. `PolicyValue` MUST be equal to + `MarketValue`. `TypesOfRealEstateMember` MUST be equal to the summation of the underlying children members.