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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1ParentExistsChildrenExist1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1ParentExistsChildrenExist1_ChildrenOfTotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `CommercialRealEstateInExploitation` with `CompoundNonDAEBActivitiesMember` MUST be equal to + `TotalMarketValue` with `CompoundNonDAEBActivitiesMember`. | {if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST201Variable1_Set00CommercialRealEstateInExploitation')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST201Variable1_Set00CommercialRealEstateInExploitation return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST201Variable1_Set01TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST201Variable1_Set01TotalMarketValue return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1ChildrenExistParentExists1_ChildrenOfTotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1ChildrenExistParentExists1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1SumOfChildrenParentDebit1_TotalMarketValue')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueDebit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_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_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueCredit')))) then ((for $v in $varArc_DisclosureValuationRealEstateTotalMarketValueNonDaebCompoundHousingDpi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfTotalMarketValueCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}