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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsEnd')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsStart')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsMovement')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_ProvisionsMovement 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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ProvisionsMovement')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementCredit')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementDebit')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfProvisionsMovementDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ProvisionsOtherMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_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_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `Provisions` reported with `ClassesOfProvisionsOtherProvisionsHousingAxis` and `ProvisionsOtherMember` SHOULD be equal to `ProvisionsOther` without `ClassesOfProvisionsOtherProvisionsHousingAxis` and ProvisionsOtherMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfProvisionsOtherProvisionsHousingAxis')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfProvisionsOtherProvisionsHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfProvisionsOtherProvisionsHousingAxis')))) then ((for $v in $varArc_NotesConsolidatedProvisionsOtherProvisionsMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfProvisionsOtherProvisionsHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}