When `TotalMarketValue` is reported at least one of the underlying values of `TotalMarketValue` MUST also be reported. When at least one of the underlying values of `TotalMarketValue` is reported `TotalMarketValue` MUST also be reported. `CommercialRealEstateInExploitation` with `CompoundNonDAEBActivitiesMember` MUST be equal to + `TotalMarketValue` with `CompoundNonDAEBActivitiesMember`. `TotalMarketValue` MUST be equal to the summation of the underlying values.