`IncomeFromInvestments` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_IncomeFromInvestments')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_IncomeFromInvestments return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_ChildrenOfIncomeFromInvestmentsCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_ChildrenOfIncomeFromInvestmentsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_ChildrenOfIncomeFromInvestmentsDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit1_ChildrenOfIncomeFromInvestmentsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `IncomeFromOtherInvestments` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_IncomeFromOtherInvestments')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_IncomeFromOtherInvestments return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_ChildrenOfIncomeFromOtherInvestmentsCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_ChildrenOfIncomeFromOtherInvestmentsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_ChildrenOfIncomeFromOtherInvestmentsDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit6_ChildrenOfIncomeFromOtherInvestmentsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `InvestmentExpenses` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_InvestmentExpenses')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_InvestmentExpenses return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_ChildrenOfInvestmentExpensesDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_ChildrenOfInvestmentExpensesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_ChildrenOfInvestmentExpensesCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentDebit1EM1_ChildrenOfInvestmentExpensesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NetResultAfterTax` (at the end of / during the current period) SHOULD be reported, because `NetResultAfterTax` (at the end of / during the previous period) and `ResultAfterTax` (at the end of / during the current period) are reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set01NetResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set01NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set02ResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set02ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set03NetResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params2_Set03NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NetResultAfterTax` (at the end of / during the previous period) SHOULD be reported, because `NetResultAfterTax` (at the end of / during the current period) and `ResultAfterTax` (at the end of / during the previous period) are reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set01NetResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set01NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set02ResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set02ResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set03NetResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1Exist02ANDThnExist01Params1_Set03NetResultAfterTax return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `NetResultAfterTax` SHOULD exist at least once within the same context, because `ResultAttributableNoncontrollingInterest` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1ExistenceThnExistenceCovU1_ResultAttributableNoncontrollingInterest')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1ExistenceThnExistenceCovU1_ResultAttributableNoncontrollingInterest return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultAfterTaxExtraordinaryItems` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ResultAfterTaxExtraordinaryItems')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ResultAfterTaxExtraordinaryItems return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ChildrenOfResultAfterTaxExtraordinaryItemsCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ChildrenOfResultAfterTaxExtraordinaryItemsCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ChildrenOfResultAfterTaxExtraordinaryItemsDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit4_ChildrenOfResultAfterTaxExtraordinaryItemsDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultAfterTaxOrdinaryActivities` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ResultAfterTaxOrdinaryActivities')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ResultAfterTaxOrdinaryActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ChildrenOfResultAfterTaxOrdinaryActivitiesCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ChildrenOfResultAfterTaxOrdinaryActivitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ChildrenOfResultAfterTaxOrdinaryActivitiesDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit5_ChildrenOfResultAfterTaxOrdinaryActivitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultAfterTax` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit2_ResultAfterTax')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_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_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_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_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit2_ChildrenOfResultAfterTaxDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultBeforeTaxOrdinaryActivities` SHOULD be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ResultBeforeTaxOrdinaryActivities')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ResultBeforeTaxOrdinaryActivities return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxOrdinaryActivitiesCredit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxOrdinaryActivitiesCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxOrdinaryActivitiesDebit')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_PrtFST1SumOfChildrenParentCredit3_ChildrenOfResultBeforeTaxOrdinaryActivitiesDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultTechnicalAccountDamageInsurance` with `TechnicalAccountDamageInsuranceMember` SHOULD be equal to + `ResultTechnicalAccountDamageInsurance` with `NonTechnicalAccountMember`. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers2_Set00')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers2_Set00 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers2_Set01')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers2_Set01 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''} `ResultTechnicalAccountLifeInsurance` with `TechnicalAccountLifeInsuranceMember` SHOULD be equal to + `ResultTechnicalAccountLifeInsurance` with `NonTechnicalAccountMember`. | {if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers1_Set00')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers1_Set00 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers1_Set01')))) then ((for $v in $varArc_ConsolidatedIncomeStatementNonTechnicalAccountInsurance_Prt101VariableMembers1_Set01 return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}