At least one of the underlying values of `TotalMarketValue` MUST also be reported, because `TotalMarketValue` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_TotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalMarketValue 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_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set00SumOfMembers')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set01ChildrenMembers')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtSumOfMembersOnAbstract1_Set01ChildrenMembers return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsExcludingLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `MarketValueUnitsLivingSpace` MUST exist at least once. `TotalMarketValue` MUST also be reported, because at least one of the underlying values of `TotalMarketValue` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_ChildrenOfTotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_ChildrenOfTotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1ChildrenExistParentExists1_TotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalMarketValue` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_TotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueDebit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueCredit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueTotalHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `TotalMarketValue` MUST exist at least once. `TotalMarketValue` MUST exist at least once. `TotalMarketValue` MUST exist at least once. `TotalMarketValue` MUST exist at least once. `TotalMarketValue` MUST exist at least once. `TotalMarketValue` MUST exist at least once.