`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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists3_ChildrenOfChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists3_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfChangesValueRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfFinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfFinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists1_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists1_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit7_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfFinancialIncomeExpensesDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists4_ChildrenOfNetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists4_ChildrenOfNetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists4_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists4_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit5_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetRealisedResultSalesRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfNetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfNetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists2_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists2_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_NetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfNetResultExploitationOfRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit3_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists5_ChildrenOfNetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists5_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit6_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetResultOtherActivitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`RentalIncome` MUST exist at least once.
`RentalIncome` MUST exist at least once.
`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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists6_ChildrenOfResultAfterTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists6_ChildrenOfResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists6_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists6_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultAfterTaxCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultAfterTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfResultAfterTaxDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit1_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_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists7_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1ChildrenExistParentExists7_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_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultBeforeTaxCredit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultBeforeTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultBeforeTaxDebit')))) then ((for $v in $varArc_IncomeStatementHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultBeforeTaxDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}