`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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5_ChildrenOfChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5_ChildrenOfChangesValueRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists5_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_ChangesValueRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_ChangesValueRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_ChildrenOfChangesValueRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_ChildrenOfChangesValueRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_ChildrenOfChangesValueRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit9_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3_ChildrenOfFinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3_ChildrenOfFinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists3_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_FinancialIncomeExpenses')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_FinancialIncomeExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfFinancialIncomeExpensesCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfFinancialIncomeExpensesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_ChildrenOfFinancialIncomeExpensesDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit8_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfNetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfNetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists1_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_NetRealisedResultSalesRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_NetRealisedResultSalesRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetRealisedResultSalesRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetRealisedResultSalesRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetRealisedResultSalesRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit6_ChildrenOfNetRealisedResultSalesRealEstatePortfolioDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultAfterTax` MUST also be reported, because at least one of the underlying values of `NetResultAfterTax` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9_ChildrenOfNetResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9_ChildrenOfNetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9_NetResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists9_NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultAfterTax` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_NetResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfNetResultAfterTaxCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfNetResultAfterTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfNetResultAfterTaxDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit1_ChildrenOfNetResultAfterTaxDebit 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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists4_ChildrenOfNetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists4_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_NetResultExploitationOfRealEstatePortfolio')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_NetResultExploitationOfRealEstatePortfolio return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_ChildrenOfNetResultExploitationOfRealEstatePortfolioCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_ChildrenOfNetResultExploitationOfRealEstatePortfolioDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit4_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfNetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7_ChildrenOfNetResultOtherActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists7_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_NetResultOtherActivities')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_NetResultOtherActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfNetResultOtherActivitiesCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfNetResultOtherActivitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfNetResultOtherActivitiesDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit7_ChildrenOfNetResultOtherActivitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultSoldRealEstateInDevelopment` MUST also be reported, because at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8_ChildrenOfNetResultSoldRealEstateInDevelopment')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8_ChildrenOfNetResultSoldRealEstateInDevelopment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8_NetResultSoldRealEstateInDevelopment')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists8_NetResultSoldRealEstateInDevelopment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_NetResultSoldRealEstateInDevelopment')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_NetResultSoldRealEstateInDevelopment return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetResultSoldRealEstateInDevelopmentCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetResultSoldRealEstateInDevelopmentCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetResultSoldRealEstateInDevelopmentDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit5_ChildrenOfNetResultSoldRealEstateInDevelopmentDebit 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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists6_ChildrenOfResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists6_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_ResultAfterTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit2_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2_ChildrenOfResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1ChildrenExistParentExists2_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_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ResultBeforeTax')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ResultBeforeTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxCredit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxDebit')))) then ((for $v in $varArc_IncomeStatementNonDaebCompoundHousingDvi_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}