When at least one of the underlying values of `ChangesValueRealEstatePortfolio` is reported `ChangesValueRealEstatePortfolio` MUST also be reported.
When at least one of the underlying values of `FinancialIncomeExpenses` is reported `FinancialIncomeExpenses` MUST also be reported.
When at least one of the underlying values of `NetRealisedResultSalesRealEstatePortfolio` is reported `NetRealisedResultSalesRealEstatePortfolio` MUST also be reported.
When at least one of the underlying values of `NetResultAfterTax` is reported `NetResultAfterTax` MUST also be reported.
When at least one of the underlying values of `NetResultExploitationOfRealEstatePortfolio` is reported `NetResultExploitationOfRealEstatePortfolio` MUST also be reported.
When at least one of the underlying values of `NetResultOtherActivities` is reported `NetResultOtherActivities` MUST also be reported.
When at least one of the underlying values of `NetResultSoldRealEstateInDevelopment` is reported `NetResultSoldRealEstateInDevelopment` MUST also be reported.
When at least one of the underlying values of `ResultAfterTax` is reported `ResultAfterTax` MUST also be reported.
When at least one of the underlying values of `ResultBeforeTax` is reported `ResultBeforeTax` MUST also be reported.
`ChangesValueRealEstatePortfolio` MUST be equal to the summation of the underlying values.
`FinancialIncomeExpenses` MUST be equal to the summation of the underlying values.
`NetRealisedResultSalesRealEstatePortfolio` MUST be equal to the summation of the underlying values.
`NetResultAfterTax` MUST be equal to the summation of the underlying values.
`NetResultExploitationOfRealEstatePortfolio` MUST be equal to the summation of the underlying values.
`NetResultOtherActivities` MUST be equal to the summation of the underlying values.
`NetResultSoldRealEstateInDevelopment` MUST be equal to the summation of the underlying values.
`RentalIncome` MUST exist at least once.
`RentalIncome` MUST exist at least once.
`ResultAfterTax` MUST be equal to the summation of the underlying values.
`ResultBeforeTax` MUST be equal to the summation of the underlying values.