The mutation during the period, `MutationMonthlyRent`, MUST be equal to the difference between the reported values of `MonthlyRentBasedOnNumbers` at end of period and `MonthlyRentBasedOnNumbers` at beginning of period. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MonthlyRentBasedOnNumbersEnd')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MonthlyRentBasedOnNumbersEnd return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MonthlyRentBasedOnNumbersStart')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MonthlyRentBasedOnNumbersStart return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MutationMonthlyRent')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1PeriodStartPeriodEndMutation1_MutationMonthlyRent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `AdditionalRevenueFromHigherRentThanNorm` MUST exist at least once. `IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement` MUST exist at least once within the same context, because `NumberOfIndependentRentalPropertiesRelevantForRentKey` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU3_NumberOfIndependentRentalPropertiesRelevantForRentKey')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU3_NumberOfIndependentRentalPropertiesRelevantForRentKey return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `MonthlyRentBasedOnNumbers` MUST exist at least once within the same context, because `NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU5_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU5_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `MonthlyRentBasedOnNumbers` MUST exist at least once within the same context, because `NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU6_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU6_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `MutationMonthlyRent` divided by `MonthlyRentBasedOnNumbers` at beginning of period, rounded to 4 decimals, MUST be equal to `IncreaseRent`. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set00IncreaseRent')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set00IncreaseRent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set02MonthlyRentBasedOnNumbersStart')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set02MonthlyRentBasedOnNumbersStart return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set01MutationMonthlyRent')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1DurationDivStartEQRoundedDurationCovU1_Set01MutationMonthlyRent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement` MUST exist at least once within the same context, because `MonthlyRentBasedOnNumbers` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU4_MonthlyRentBasedOnNumbers')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU4_MonthlyRentBasedOnNumbers return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfIndependentRentalPropertiesRelevantForRentKey` MUST exist at least once within the same context, because `NumberOfMunicapalitiesPerformanceAgreementsReportingYear` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU1_NumberOfMunicapalitiesPerformanceAgreementsReportingYear')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU1_NumberOfMunicapalitiesPerformanceAgreementsReportingYear return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfIndependentRentalProperties` MUST be equal to + `NumberOfUnitsNotInCalculation` + `NumberOfIndependentRentalPropertiesRelevantForRentKey` + `NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement`. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalProperties')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfUnitsNotInCalculation')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfUnitsNotInCalculation return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalPropertiesRelevantForRentKey')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalPropertiesRelevantForRentKey return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST103Variables1_NumberOfIndependentRentalPropertiesRelevantForRentKeyWithoutPerfomanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfIndependentRentalProperties` MUST exist at least once. `NumberOfMunicapalitiesPerformanceAgreementsReportingYear` MUST exist at least once within the same context, because `NumberOfIndependentRentalPropertiesRelevantForRentKey` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU2_NumberOfIndependentRentalPropertiesRelevantForRentKey')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ExistenceThnExistenceCovPU2_NumberOfIndependentRentalPropertiesRelevantForRentKey return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfMunicapalitiesRentIncreaseHigherThanPerformanceAgreement` MUST NOT be reported, because the reported value of `IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement` is equal to `Ja`. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_NumberOfMunicapalitiesRentIncreaseHigherThanPerformanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_NumberOfMunicapalitiesRentIncreaseHigherThanPerformanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfMunicapalitiesRentIncreaseHigherThanPerformanceAgreement` MUST exist at least once, because the reported value of `IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement` is equal to `Nee`. | {if (not(xff:has-fallback-value(xs:QName('varArc_RentConsolidatedHousingDvi_PrtValueThnExistenceCovA1_IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement')))) then ((for $v in $varArc_RentConsolidatedHousingDvi_PrtValueThnExistenceCovA1_IndependentRentalPropertiesRelevantForRentKeyRentIncreaseEqualOrLowerThanPeformanceAgreement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NumberOfUnitsNotInCalculation` MUST exist at least once. `NumberOfUnitsWithPerfomanceAgreement` MUST exist at least once.