Reported value of `InvestmentProperties` at end of period SHOULD be equal to sum of reported value of `InvestmentProperties` at beginning of period and changes in that value during period, `InvestmentPropertiesMovement`. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesEnd')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesEnd return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesStart')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesStart return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesMovement')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_InvestmentPropertiesMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentPropertiesAdditions` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_InvestmentPropertiesAdditions')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_InvestmentPropertiesAdditions return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_ChildrenOfInvestmentPropertiesAdditionsDebit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_ChildrenOfInvestmentPropertiesAdditionsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_ChildrenOfInvestmentPropertiesAdditionsCredit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E3_ChildrenOfInvestmentPropertiesAdditionsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentPropertiesMovement` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_InvestmentPropertiesMovement')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_InvestmentPropertiesMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_ChildrenOfInvestmentPropertiesMovementDebit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_ChildrenOfInvestmentPropertiesMovementDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_ChildrenOfInvestmentPropertiesMovementCredit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E2_ChildrenOfInvestmentPropertiesMovementCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentProperties` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_InvestmentProperties')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_InvestmentProperties return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_ChildrenOfInvestmentPropertiesDebit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_ChildrenOfInvestmentPropertiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_ChildrenOfInvestmentPropertiesCredit')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfChildrenParentDebit1E1_ChildrenOfInvestmentPropertiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentProperties` reported with `ClassesOfExploitationHousingAxis` and `CommercialRealEstateInExploitationMember` SHOULD be equal to `CommercialRealEstateInExploitation` without `ClassesOfExploitationHousingAxis` and CommercialRealEstateInExploitationMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfExploitationHousingAxis')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02ClassesOfExploitationHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfExploitationHousingAxis')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01ClassesOfExploitationHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentProperties` reported with `ClassesOfExploitationHousingAxis` and `SocialRealEstateInExploitationMember` SHOULD be equal to `SocialRealEstateInExploitation` without `ClassesOfExploitationHousingAxis` and SocialRealEstateInExploitationMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set02ClassesOfExploitationHousingAxis')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set02ClassesOfExploitationHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set01ClassesOfExploitationHousingAxis')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set01ClassesOfExploitationHousingAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalDAEBNonDAEBMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_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_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalDAEBNonDAEBMember` SHOULD be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_SumOfMembersOnAbstract')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_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_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesInvestmentPropertiesExploitationMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}