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_DocumentInformationHealthCare_PrtValueThnFST2AndFST1ExistenceCovDPU1_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST1')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnFST2AndFST1ExistenceCovDPU1_BalanceSheetBeforeAfterAppropriationResultsFST2')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueCovDPUThnFST1EQFactFST21_Set00DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueCovDPUThnFST1EQFactFST21_Set01BalanceSheetBeforeAfterAppropriationResults')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueCovDPUThnFST1EQFactFST21_Set02BalanceSheetBeforeAfterAppropriationResults')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnNoExistence2_DocumentAdoptionStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnNoExistence2_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnExistence1_DocumentAdoptionStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtValueThnExistence1_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_DocumentInformationHealthCare_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnNoExistence3_FinancialReportingPeriodDifferentThanAnnualImpactComparatives')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtValueThnNoExistence3_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_DocumentInformationHealthCare_PrtValueThnExistence3_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtValueThnExistence3_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_DocumentInformationHealthCare_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtValueThnNoExistence1_FinancialReportingPeriodDifferentThanAnnualReason')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtValueThnNoExistence1_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_DocumentInformationHealthCare_PrtValueThnExistence2_FinancialReportingPeriodDifferentThanAnnualStatus')))) then ((for $v in $varArc_DocumentInformationHealthCare_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 {$FinancialReportingPeriodPrePrePrePreviousEndDateParam}, {$FinancialReportingPeriodPrePrePreviousEndDateParam}, {$FinancialReportingPeriodPrePreviousEndDateParam}, {$FinancialReportingPeriodPreviousEndDateParam} or {$FinancialReportingPeriodCurrentEndDateParam} and duration facts SHOULD be reported with startDate {$FinancialReportingPeriodPrePrePreviousStartDateParam} and endDate {$FinancialReportingPeriodPrePrePreviousEndDateParam}, startDate {$FinancialReportingPeriodPrePreviousStartDateParam} and endDate {$FinancialReportingPeriodPrePreviousEndDateParam}, startDate {$FinancialReportingPeriodPreviousStartDateParam} and endDate {$FinancialReportingPeriodPreviousEndDateParam} or startDate {$FinancialReportingPeriodCurrentStartDateParam} and endDate {$FinancialReportingPeriodCurrentEndDateParam}. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHealthCare_AllPeriodAspectCondParamPPPPEtCE1_AllItems')))) then ((for $v in $varArc_DocumentInformationHealthCare_AllPeriodAspectCondParamPPPPEtCE1_AllItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} Instant facts SHOULD be reported with instant {$FinancialReportingPeriodPreviousEndDateParam} or {$FinancialReportingPeriodCurrentEndDateParam} and duration facts SHOULD be reported with startDate {$FinancialReportingPeriodCurrentStartDateParam} and endDate {$FinancialReportingPeriodCurrentEndDateParam}. | {if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHealthCare_AllPeriodAspectCondParamPEtCE1_AllItems')))) then ((for $v in $varArc_DocumentInformationHealthCare_AllPeriodAspectCondParamPEtCE1_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_DocumentInformationHealthCare_PrtDateEarlierThanEqualCurrent1_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtDateEarlierDateLater1_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater1_FinancialReportingPeriodCurrentEndDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater1_DocumentAdoptionDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater1_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_DocumentInformationHealthCare_PrtDateEarlierThanCurrent1_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtDateEarlierDateLater2_FinancialReportingPeriodCurrentStartDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater2_FinancialReportingPeriodCurrentStartDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater2_FinancialReportingPeriodCurrentEndDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater2_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_DocumentInformationHealthCare_PrtDateEarlier24HDateLater1_FinancialReportingPeriodPreviousEndDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtDateEarlier24HDateLater1_FinancialReportingPeriodCurrentStartDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_PrtDateEarlierDateLater3_FinancialReportingPeriodPreviousStartDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater3_FinancialReportingPeriodPreviousStartDate return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater3_FinancialReportingPeriodPreviousEndDate')))) then ((for $v in $varArc_DocumentInformationHealthCare_PrtDateEarlierDateLater3_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_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect2_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect2_AllItems')))) then ((for $v in $varArc_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect2_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_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect1_DocumentRelatesToIndividualEntityOrGroup')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect1_AllItems')))) then ((for $v in $varArc_DocumentInformationHealthCare_AllValueThnExistenceMemberAspect1_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_DocumentInformationHealthCare_AllMeasureEqualToPure1_AllPureConcepts')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_AllMeasureEqualToShares1_AllSharesConcepts')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_AllMeasureEqualToReportedValue1_DocumentPresentationCurrency')))) then ((for $v in $varArc_DocumentInformationHealthCare_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_DocumentInformationHealthCare_AllMeasureEqualToReportedValue1_AllMonetaryItems')))) then ((for $v in $varArc_DocumentInformationHealthCare_AllMeasureEqualToReportedValue1_AllMonetaryItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}