BalanceSheetBeforeAfterAppropriationResults SHOULD exist at least once with SeparateMember and exist at least once with ConsolidatedMember, because the reported value of DocumentRelatesToIndividualEntityOrGroup is equal to 'Geconsolideerd en enkelvoudig'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_DocumentRelatesToIndividualEntityOrGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST1')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST1 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST2')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST2 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} BalanceSheetBeforeAfterAppropriationResults with ConsolidatedMember SHOULD be equal to BalanceSheetBeforeAfterAppropriationResults with SeparateMember, because DocumentRelatesToIndividualEntityOrGroup is equal to 'Geconsolideerd en enkelvoudig'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set00DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set00DocumentRelatesToIndividualEntityOrGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set01BalanceSheetBeforeAfterAppropriationResults')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set01BalanceSheetBeforeAfterAppropriationResults return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set02BalanceSheetBeforeAfterAppropriationResults')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueCovDPUThnFST1EQFactFST21_Set02BalanceSheetBeforeAfterAppropriationResults return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} DocumentAdoptionDate MUST NOT be reported, bcause the reported value of DocumentAdoptionStatus is equal to 'Nee'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence2_DocumentAdoptionStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence2_DocumentAdoptionStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence2_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence2_DocumentAdoptionDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} DocumentAdoptionDate MUST exist at least once, because the reported value of DocumentAdoptionStatus is equal to 'Ja'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnExistence3_DocumentAdoptionStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnExistence3_DocumentAdoptionStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} DocumentAdoptionStatus MUST exist once. DocumentPresentationCurrency MUST exist once. DocumentRelatesToIndividualEntityOrGroup MUST exist once. EmailAddressContact MUST exist once. FinancialReportingPeriodCurrentEndDate MUST exist once. FinancialReportingPeriodCurrentStartDate MUST exist once. FinancialReportingPeriodDifferentThanAnnualImpactComparatives SHOULD NOT be reported, bcause the reported value of FinancialReportingPeriodDifferentThanAnnualStatus is equal to 'Nee'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualImpactComparatives')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualImpactComparatives return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} FinancialReportingPeriodDifferentThanAnnualImpactComparatives SHOULD exist at least once, because the reported value of FinancialReportingPeriodDifferentThanAnnualStatus is equal to 'Ja'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnExistence1_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnExistence1_FinancialReportingPeriodDifferentThanAnnualStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} FinancialReportingPeriodDifferentThanAnnualReason SHOULD NOT be reported, bcause the reported value of FinancialReportingPeriodDifferentThanAnnualStatus is equal to 'Nee'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualReason')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualReason return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} FinancialReportingPeriodDifferentThanAnnualReason SHOULD exist at least once, because the reported value of FinancialReportingPeriodDifferentThanAnnualStatus is equal to 'Ja'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtValueThnExistence2_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHousing_PrtValueThnExistence2_FinancialReportingPeriodDifferentThanAnnualStatus return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} FinancialReportingPeriodDifferentThanAnnualStatus MUST exist once. FinancialReportingPeriodPreviousEndDate MUST exist at most once. FinancialReportingPeriodPreviousStartDate MUST exist at most once. IncomeStatementClassificationType MUST exist once. Instant facts SHOULD be reported with instant {$FinancialReportingPeriodPrePreviousEndDateParam}, {$FinancialReportingPeriodPreviousEndDateParam}, {$FinancialReportingPeriodCurrentEndDateParam}, {$FinancialReportingPeriodFirstPeriodEndDateParam}, {$FinancialReportingPeriodSecondPeriodEndDateParam}, {$FinancialReportingPeriodThirdPeriodEndDateParam}, {$FinancialReportingPeriodFourthPeriodEndDateParam} or {$FinancialReportingPeriodFifthPeriodEndDateParam} and duration facts SHOULD be reported with startDate {$FinancialReportingPeriodPreviousStartDateParam} and endDate {$FinancialReportingPeriodPreviousEndDateParam}, startDate {$FinancialReportingPeriodFirstPeriodStartDateParam} and endDate {$FinancialReportingPeriodFirstPeriodEndDateParam}, startDate {$FinancialReportingPeriodSecondPeriodStartDateParam} and endDate {$FinancialReportingPeriodSecondPeriodEndDateParam}, startDate {$FinancialReportingPeriodThirdPeriodStartDateParam} and endDate {$FinancialReportingPeriodThirdPeriodEndDateParam}, startDate {$FinancialReportingPeriodFourthPeriodStartDateParam} and endDate {$FinancialReportingPeriodFourthPeriodEndDateParam} or startDate {$FinancialReportingPeriodFifthPeriodStartDateParam} and endDate {$FinancialReportingPeriodFifthPeriodEndDateParam}. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllPeriodAspectCondParamPPEtFifPE1_AllItems')))) then ((for $v in $varArc_DocumentInformationHousing_AllPeriodAspectCondParamPPEtFifPE1_AllItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} Instant facts SHOULD be reported with instant {$FinancialReportingPeriodPreviousEndDateParam}, {$FinancialReportingPeriodCurrentEndDateParam}, {$FinancialReportingPeriodFirstPeriodEndDateParam}, {$FinancialReportingPeriodSecondPeriodEndDateParam}, {$FinancialReportingPeriodThirdPeriodEndDateParam}, {$FinancialReportingPeriodFourthPeriodEndDateParam} or {$FinancialReportingPeriodFifthPeriodEndDateParam} and duration facts SHOULD be reported with startDate {$FinancialReportingPeriodCurrentStartDateParam}, endDate {$FinancialReportingPeriodCurrentEndDateParam}, startDate {$FinancialReportingPeriodFirstPeriodStartDateParam} and endDate {$FinancialReportingPeriodFirstPeriodEndDateParam}, startDate {$FinancialReportingPeriodSecondPeriodStartDateParam} and endDate {$FinancialReportingPeriodSecondPeriodEndDateParam}, startDate {$FinancialReportingPeriodThirdPeriodStartDateParam} and endDate {$FinancialReportingPeriodThirdPeriodEndDateParam} startDate {$FinancialReportingPeriodFourthPeriodStartDateParam} and endDate {$FinancialReportingPeriodFourthPeriodEndDateParam} or startDate {$FinancialReportingPeriodFifthPeriodStartDateParam} and endDate {$FinancialReportingPeriodFifthPeriodEndDateParam}. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllPeriodAspectCondParamPEtFifPE1_AllItems')))) then ((for $v in $varArc_DocumentInformationHousing_AllPeriodAspectCondParamPEtFifPE1_AllItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for DocumentAdoptionDate SHOULD be earlier than, or equal to, the current date. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierThanEqualCurrent1_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierThanEqualCurrent1_DocumentAdoptionDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for FinancialReportingPeriodCurrentEndDate MUST be earlier than the date reported for DocumentAdoptionDate. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater2_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater2_FinancialReportingPeriodCurrentEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater2_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater2_DocumentAdoptionDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for FinancialReportingPeriodCurrentEndDate SHOULD be earlier than the current date. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierThanCurrent1_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierThanCurrent1_FinancialReportingPeriodCurrentEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for FinancialReportingPeriodCurrentStartDate MUST be earlier than the date reported for FinancialReportingPeriodCurrentEndDate. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater3_FinancialReportingPeriodCurrentStartDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater3_FinancialReportingPeriodCurrentStartDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater3_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater3_FinancialReportingPeriodCurrentEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for FinancialReportingPeriodPreviousEndDate MUST be one day earlier than the date reported for FinancialReportingPeriodCurrentStartDate. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlier24HDateLater1_FinancialReportingPeriodPreviousEndDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlier24HDateLater1_FinancialReportingPeriodPreviousEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlier24HDateLater1_FinancialReportingPeriodCurrentStartDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlier24HDateLater1_FinancialReportingPeriodCurrentStartDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The date reported for FinancialReportingPeriodPreviousStartDate MUST be earlier than the date reported for FinancialReportingPeriodPreviousEndDate. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater1_FinancialReportingPeriodPreviousStartDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater1_FinancialReportingPeriodPreviousStartDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_PrtDateEarlierDateLater1_FinancialReportingPeriodPreviousEndDate')))) then ((for $v in $varArc_DocumentInformationHousing_PrtDateEarlierDateLater1_FinancialReportingPeriodPreviousEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The reported fact SHOULD be reported with ConsolidatedMember, because DocumentRelatesToIndividualEntityOrGroup is equal to 'Geconsolideerd'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect1_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect1_DocumentRelatesToIndividualEntityOrGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect1_AllItems')))) then ((for $v in $varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect1_AllItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The reported fact SHOULD be reported with SeparateMember, because DocumentRelatesToIndividualEntityOrGroup is equal to 'Enkelvoudig'. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect2_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect2_DocumentRelatesToIndividualEntityOrGroup return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect2_AllItems')))) then ((for $v in $varArc_DocumentInformationHousing_AllValueThnExistenceMemberAspect2_AllItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The reported value MUST be used with measure pure. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllMeasureEqualToPure1_AllPureConcepts')))) then ((for $v in $varArc_DocumentInformationHousing_AllMeasureEqualToPure1_AllPureConcepts return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The reported value MUST be used with measure shares. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllMeasureEqualToShares1_AllSharesConcepts')))) then ((for $v in $varArc_DocumentInformationHousing_AllMeasureEqualToShares1_AllSharesConcepts return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The reported value SHOULD be used with the measure equal to the fact reported for DocumentPresentationCurrency. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllMeasureEqualToReportedValue1_DocumentPresentationCurrency')))) then ((for $v in $varArc_DocumentInformationHousing_AllMeasureEqualToReportedValue1_DocumentPresentationCurrency return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHousing_AllMeasureEqualToReportedValue1_AllMonetaryItems')))) then ((for $v in $varArc_DocumentInformationHousing_AllMeasureEqualToReportedValue1_AllMonetaryItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}