At least one of the underlying values of `TotalPolicyValue` MUST also be reported, because `TotalPolicyValue` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_TotalPolicyValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_TotalPolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalPolicyValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalPolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ConsolidatedMember` MUST be equal to the summation of the underlying children members. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set00SumOfMembers')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set00SumOfMembers return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set01ChildrenMembers')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set01ChildrenMembers return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsExcludingLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `PolicyValueUnitsLivingSpace` MUST exist at least once. `TotalPolicyValue` MUST also be reported, because at least one of the underlying values of `TotalPolicyValue` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_ChildrenOfTotalPolicyValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_ChildrenOfTotalPolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_TotalPolicyValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_TotalPolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalPolicyValue` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_TotalPolicyValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_TotalPolicyValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalPolicyValueDebit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalPolicyValueDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalPolicyValueCredit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalPolicyValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalPolicyValueCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalPolicyValue` MUST exist at least once. `TotalPolicyValue` MUST exist at least once. `TotalPolicyValue` MUST exist at least once. `TotalPolicyValue` MUST exist at least once. `TotalPolicyValue` MUST exist at least once. `TotalPolicyValue` MUST exist at least once.