Reported value of `LiabilitiesNoncurrent` at end of period SHOULD be equal to sum of reported value of `LiabilitiesNoncurrent` at beginning of period and changes in that value during period, `LiabilitiesNoncurrentMovement`. `LiabilitiesNoncurrentMember` SHOULD be equal to the summation of the underlying children members. `LiabilitiesNoncurrentMember` SHOULD be equal to the summation of the underlying children members. `LiabilitiesNoncurrentMovement` SHOULD be equal to the summation of the underlying values. `LiabilitiesNoncurrent` SHOULD be equal to + `LiabilitiesMaturityLessThanOneYear` + `LiabilitiesMaturityExceedingOneYearWithinFiveYears` + `LiabilitiesMaturityExceedingFiveYears`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `LiabilitiesFromRealEstateSoldSubjectTermsConditionsMember` SHOULD be equal to `LiabilitiesFromRealEstateSoldSubjectTermsConditions` without `LiabilitiesNoncurrentAxis` and `LiabilitiesFromRealEstateSoldSubjectTermsConditionsMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `LiabilitiesNoncurrentMember` SHOULD be equal to `LiabilitiesNoncurrent` without `LiabilitiesNoncurrentAxis` and `LiabilitiesNoncurrentMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `PayablesCreditInstitutionsNoncurrentMember` SHOULD be equal to `PayablesCreditInstitutionsNoncurrent` without `LiabilitiesNoncurrentAxis` and `PayablesCreditInstitutionsNoncurrentMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `PayablesGovernmentNoncurrentMember` SHOULD be equal to `PayablesGovernmentNoncurrent` without `LiabilitiesNoncurrentAxis` and `PayablesGovernmentNoncurrentMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `PayablesGroupCompaniesNoncurrentMember` SHOULD be equal to `PayablesGroupCompaniesNoncurrent` without `LiabilitiesNoncurrentAxis` and `PayablesGroupCompaniesNoncurrentMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `PayablesOtherNoncurrentMember` SHOULD be equal to `PayablesOtherNoncurrent` without `LiabilitiesNoncurrentAxis` and `PayablesOtherNoncurrentMember`. `LiabilitiesNoncurrent` reported with `LiabilitiesNoncurrentAxis` and `PayablesShareholdersParticipatingInterestsNoncurrentMember` SHOULD be equal to `PayablesShareholdersParticipatingInterestsNoncurrent` without `LiabilitiesNoncurrentAxis` and `PayablesShareholdersParticipatingInterestsNoncurrentMember`.