`ChangesValueRealEstatePortfolio` MUST also be reported, because at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3_ChildrenOfChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3_ChildrenOfChangesValueRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists3_ChangesValueRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChangesValueRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`FinancialIncomeExpenses` MUST also be reported, because at least one of the underlying values of `FinancialIncomeExpenses` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6_ChildrenOfFinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6_ChildrenOfFinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists6_FinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`FinancialIncomeExpenses` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_FinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetRealisedResultSalesRealEstatePortfolio` MUST also be reported, because at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfNetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfNetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists7_NetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_NetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultExploitationOfRealEstatePortfolio` MUST also be reported, because at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4_ChildrenOfNetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4_ChildrenOfNetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists4_NetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_NetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfNetResultExploitationOfRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfNetResultExploitationOfRealEstatePortfolioDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultOtherActivities` MUST also be reported, because at least one of the underlying values of `NetResultOtherActivities` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5_ChildrenOfNetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5_ChildrenOfNetResultOtherActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists5_NetResultOtherActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultOtherActivities` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_NetResultOtherActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ResultAfterTax` MUST also be reported, because at least one of the underlying values of `ResultAfterTax` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfResultAfterTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists2_ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ResultAfterTax` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultAfterTaxCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultAfterTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultAfterTaxDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultAfterTaxDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ResultBeforeTax` MUST also be reported, because at least one of the underlying values of `ResultBeforeTax` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1ChildrenExistParentExists1_ResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ResultBeforeTax` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultBeforeTaxCredit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultBeforeTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultBeforeTaxDebit')))) then ((for $v in $varArc_IncomeStatementDaebHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultBeforeTaxDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}