LiabilitiesNoncurrent SHOULD be equal to + LiabilitiesMaturityLessThanOneYear + LiabilitiesMaturityExceedingOneYearWithinFiveYears + LiabilitiesMaturityExceedingFiveYears. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesNoncurrent')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesNoncurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityLessThanOneYear')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityLessThanOneYear return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityExceedingOneYearWithinFiveYears')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityExceedingOneYearWithinFiveYears return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityExceedingFiveYears')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST103Variables1_LiabilitiesMaturityExceedingFiveYears return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and LiabilitiesFromRealEstateSoldSubjectTermsConditionsMember SHOULD be equal to LiabilitiesFromRealEstateSoldSubjectTermsConditions without LiabilitiesNoncurrentAxis and LiabilitiesFromRealEstateSoldSubjectTermsConditionsMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit6_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit6_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit6_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit6_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and LiabilitiesNoncurrentMember SHOULD be equal to LiabilitiesNoncurrent without LiabilitiesNoncurrentAxis and LiabilitiesNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit1_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and PayablesCreditInstitutionsNoncurrentMember SHOULD be equal to PayablesCreditInstitutionsNoncurrent without LiabilitiesNoncurrentAxis and PayablesCreditInstitutionsNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit3_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit3_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit3_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit3_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and PayablesGovernmentNoncurrentMember SHOULD be equal to PayablesGovernmentNoncurrent without LiabilitiesNoncurrentAxis and PayablesGovernmentNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit2_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit2_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit2_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit2_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and PayablesGroupCompaniesNoncurrentMember SHOULD be equal to PayablesGroupCompaniesNoncurrent without LiabilitiesNoncurrentAxis and PayablesGroupCompaniesNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit4_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and PayablesOtherNoncurrentMember SHOULD be equal to PayablesOtherNoncurrent without LiabilitiesNoncurrentAxis and PayablesOtherNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit7_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit7_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit7_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit7_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrent reported with LiabilitiesNoncurrentAxis and PayablesShareholdersParticipatingInterestsNoncurrentMember SHOULD be equal to PayablesShareholdersParticipatingInterestsNoncurrent without LiabilitiesNoncurrentAxis and PayablesShareholdersParticipatingInterestsNoncurrentMember| {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit5_Set02LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit5_Set02LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit5_Set01LiabilitiesNoncurrentAxis')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1FactExplicitEQFactNonExplicit5_Set01LiabilitiesNoncurrentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} LiabilitiesNoncurrentMovement SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_LiabilitiesNoncurrentMovement')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_LiabilitiesNoncurrentMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfLiabilitiesNoncurrentMovementCredit')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfLiabilitiesNoncurrentMovementCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfLiabilitiesNoncurrentMovementDebit')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfChildrenParentCredit1E1_ChildrenOfLiabilitiesNoncurrentMovementDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} Reported value of LiabilitiesNoncurrent at end of period SHOULD be equal to sum of reported value of LiabilitiesNoncurrent at beginning of period and changes in that value during period, LiabilitiesNoncurrentMovement. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentEnd')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentEnd return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentStart')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentStart return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentMovement')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1PeriodStartMutationPeriodEnd1_LiabilitiesNoncurrentMovement return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The summation of the reported values for children members SHOULD be equal to the reported value for parent member. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract1')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_SumOfMembersOnAbstract1 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract1_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} The summation of the reported values for children members SHOULD be equal to the reported value for parent member. | {if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_SumOfMembersOnAbstract2')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_SumOfMembersOnAbstract2 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember')))) then ((for $v in $varArc_NotesConsolidatedNoncurrentLiabilitiesMovementHousing_PrtFST1SumOfMembersOnAbstract2_Abstract_ChildrenMember return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}