`AmountExceedingMaximumRemuneration` MUST be reported with `NameOfSupervisorySeniorOfficialWithoutEmploymentAxis`, because `NameOfSupervisorySeniorOfficialWithoutEmploymentAxis` is reported on. | {if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU2_Set00NameOfSupervisorySeniorOfficialWithoutEmploymentAxis')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU2_Set00NameOfSupervisorySeniorOfficialWithoutEmploymentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`Remuneration` MUST also be reported, because at least one of the underlying values of `Remuneration` is reported. | {if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfRemuneration')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ChildrenExistParentExists1_ChildrenOfRemuneration return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ChildrenExistParentExists1_Remuneration')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ChildrenExistParentExists1_Remuneration return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`Remuneration` MUST be equal to the summation of the underlying values. | {if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_Remuneration')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_Remuneration return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfRemunerationDebit')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfRemunerationDebit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfRemunerationCredit')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1SumOfChildrenParentDebit1_ChildrenOfRemunerationCredit return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`UnduePayments` MUST be reported with `NameOfSupervisorySeniorOfficialWithoutEmploymentAxis`, because `NameOfSupervisorySeniorOfficialWithoutEmploymentAxis` is reported on. | {if (not(xff:has-fallback-value(xs:QName('varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1_Set00NameOfSupervisorySeniorOfficialWithoutEmploymentAxis')))) then ((for $v in $varArc_RemunerationOfSupervisorySeniorOfficialsHousingDvi_PrtFST1ExistenceTAxisThnExistenceCovU1_Set00NameOfSupervisorySeniorOfficialWithoutEmploymentAxis return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}