`CreditFacility` MUST exist at least once.
`MaximumCreditAmount` MUST NOT be reported, because the reported value of `CreditFacility` is equal to `Nee`. | {if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU3_CreditFacility')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU3_CreditFacility return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU3_MaximumCreditAmount')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU3_MaximumCreditAmount return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`MaximumCreditAmount` MUST exist at least once, because the reported value of `CreditFacility` is equal to `Ja`. | {if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU3_CreditFacility')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU3_CreditFacility return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`PledgingOfInvestmentsRentalFeesAndOrOtherAssetsDisclosure` MUST NOT be reported, because the reported value of `PledgingOfInvestmentsRentalFeesAndOrOtherAssets` is equal to `Nee`. | {if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssets')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}{if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssetsDisclosure')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnNoExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssetsDisclosure return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`PledgingOfInvestmentsRentalFeesAndOrOtherAssetsDisclosure` MUST exist at least once, because the reported value of `PledgingOfInvestmentsRentalFeesAndOrOtherAssets` is equal to `Ja`. | {if (not(xff:has-fallback-value(xs:QName('varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssets')))) then ((for $v in $varArc_OtherFinancialPolicyConsolidatedHousingDvi_PrtFST1ValueThnExistenceCovU1_PledgingOfInvestmentsRentalFeesAndOrOtherAssets return concat("name:'",$v/name(),"', value:'",$v,"', @contextRef:'",$v/@contextRef,"', @unitRef:'",$v/@unitRef,"' | "))) else ''}
`PledgingOfInvestmentsRentalFeesAndOrOtherAssets` MUST exist at least once.
`WSWLoans` MUST exist at least once.