Reported value of `Provisions` at end of period SHOULD be equal to sum of reported value of `Provisions` at beginning of period and changes in that value during period, `ProvisionsMovement`. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsEnd')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsEnd return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsStart')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsStart return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsMovement')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsEmployeeBenefitsMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract3_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract3_Abstract_SumOfMembersOnAbstract return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract3_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract3_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsEmployeeBenefitsMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract4_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract4_Abstract_SumOfMembersOnAbstract return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract4_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract4_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract2_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract2_Abstract_SumOfMembersOnAbstract return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsMovement` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ProvisionsMovement')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ProvisionsMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementCredit')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementDebit')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `DeferredTaxLiabilitiesMember` MUST be equal to `DeferredTaxLiabilities` without `ClassesOfProvisionsAxis` and DeferredTaxLiabilitiesMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit4_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit4_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit4_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit4_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionDisabilityRisksMember` MUST be equal to `ProvisionDisabilityRisks` without `ClassesOfProvisionsAxis` and ProvisionDisabilityRisksMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit20_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit20_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit20_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit20_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionEmployeeBenefitsMember` MUST be equal to `ProvisionEmployeeBenefits` without `ClassesOfProvisionsAxis` and ProvisionEmployeeBenefitsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit5_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit5_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit5_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit5_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionEnvironmentalMember` MUST be equal to `ProvisionEnvironmental` without `ClassesOfProvisionsAxis` and ProvisionEnvironmentalMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit7_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit7_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit7_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit7_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionInsuranceDisabilityRisksMember` MUST be equal to `ProvisionInsuranceDisabilityRisks` without `ClassesOfProvisionsAxis` and ProvisionInsuranceDisabilityRisksMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit14_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit14_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit14_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit14_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionInsuranceIllnessDisabilityMember` MUST be equal to `ProvisionInsuranceIllnessDisability` without `ClassesOfProvisionsAxis` and ProvisionInsuranceIllnessDisabilityMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit8_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit8_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit8_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit8_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionJubileeBenefitsMember` MUST be equal to `ProvisionJubileeBenefits` without `ClassesOfProvisionsAxis` and ProvisionJubileeBenefitsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit6_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit6_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit6_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit6_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionLegalProceedingsMember` MUST be equal to `ProvisionLegalProceedings` without `ClassesOfProvisionsAxis` and ProvisionLegalProceedingsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit10_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit10_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit10_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit10_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionMajorMaintenanceMember` MUST be equal to `ProvisionMajorMaintenance` without `ClassesOfProvisionsAxis` and ProvisionMajorMaintenanceMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit2_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit2_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit2_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit2_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionOnerousContractsMember` MUST be equal to `ProvisionOnerousContracts` without `ClassesOfProvisionsAxis` and ProvisionOnerousContractsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit9_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit9_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit9_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit9_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionParticipatingInterestsMember` MUST be equal to `ProvisionParticipatingInterests` without `ClassesOfProvisionsAxis` and ProvisionParticipatingInterestsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit13_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit13_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit13_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit13_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionPensionObligationsMember` MUST be equal to `ProvisionPensionObligations` without `ClassesOfProvisionsAxis` and ProvisionPensionObligationsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit17_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit17_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit17_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit17_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionRepairCostsMember` MUST be equal to `ProvisionRepairCosts` without `ClassesOfProvisionsAxis` and ProvisionRepairCostsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit18_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit18_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit18_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit18_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionRestructuringMember` MUST be equal to `ProvisionRestructuring` without `ClassesOfProvisionsAxis` and ProvisionRestructuringMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit11_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit11_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit11_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit11_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionTaxLiabilitiesMember` MUST be equal to `ProvisionTaxLiabilities` without `ClassesOfProvisionsAxis` and ProvisionTaxLiabilitiesMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit16_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit16_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit16_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit16_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsEmployeeBenefitsMember` MUST be equal to `ProvisionsEmployeeBenefits` without `ClassesOfProvisionsAxis` and ProvisionsEmployeeBenefitsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit22_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit22_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit22_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit22_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsEmployeeBenefitsOtherMember` MUST be equal to `ProvisionsEmployeeBenefitsOther` without `ClassesOfProvisionsAxis` and ProvisionsEmployeeBenefitsOtherMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit21_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit21_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit21_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit21_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsMember` MUST be equal to `Provisions` without `ClassesOfProvisionsAxis` and ProvisionsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit15_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit15_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit15_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit15_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsAxis` and `ProvisionsOtherMember` MUST be equal to `ProvisionsOther` without `ClassesOfProvisionsAxis` and ProvisionsOtherMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfProvisionsAxis')))) then ((for $v in $varArc_NotesProvisionsMovementEducation_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfProvisionsAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}