`ConsolidatedMember` MUST be equal to the summation of the underlying children members. `TotalMarketValueMovement` MUST be equal to + `TotalMarketValue`. `TotalMarketValueMovement` MUST exist at least once. `TotalMarketValueMovement` at end of period MUST be equal to `TotalMarketValueMovement` at beginning of period + `AutonomousMarketValueMovement` + `PurchaseMarketValue` - `SaleToFutureResidentsMarketValue` - `SaleToOtherPartiesMarketValue` - `DemolitionMarketValue` + `ImprovementExistingPropertyMarketValueMutation` + `NewBuildingsExcludingPurposeSaleMarketValue`.