`ActualValueOfEmbeddedDerivative` MUST NOT be reported, because the reported value of `ExtendibleBorrowings` is equal to `Nee`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_ExtendibleBorrowings')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_ExtendibleBorrowings return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_ActualValueOfEmbeddedDerivative')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_ActualValueOfEmbeddedDerivative return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`ActualValueOfEmbeddedDerivative` MUST exist at least once, because the reported value of `ExtendibleBorrowings` is equal to `Ja`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1_ExtendibleBorrowings')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1_ExtendibleBorrowings return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`BalanceSheetItem` MUST NOT be reported, because the reported value of `BalanceValueIncludedInLiabilitiesNonCurrent` is equal to `Ja`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU2_BalanceValueIncludedInLiabilitiesNonCurrent')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU2_BalanceValueIncludedInLiabilitiesNonCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU2_BalanceSheetItem')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU2_BalanceSheetItem return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`BalanceSheetItem` MUST exist at least once, because the reported value of `BalanceValueIncludedInLiabilitiesNonCurrent` is equal to `Nee`. | {if (not(xff:has-fallback-value(xs:QName('varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU2_BalanceValueIncludedInLiabilitiesNonCurrent')))) then ((for $v in $varArc_MarketValueBorrowingsAndExtendibleBorrowingsConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU2_BalanceValueIncludedInLiabilitiesNonCurrent return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`BalanceValueIncludedInLiabilitiesNonCurrent` MUST exist at least once.
`ExtendibleBorrowings` MUST exist at least once.