`RentIncomeMember` MUST be equal to the summation of the underlying children members. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` MUST exist at least once. `RentalIncome` reported with `ClassesOfSpecificationOfTheRentalIncomeAxis` and `RentIncomeMember` MUST be equal to `RentalIncome` without `ClassesOfSpecificationOfTheRentalIncomeAxis` and `RentIncomeMember`.