Definition
−([Counterparty default.Observed agent identifier],[Counterparty default.Counterparty Identifier]) EXISTS IN {(([Counterparty-instrument.Observed agent identifier],[Counterparty-instrument.Counterpart y Identifier]) | [Counterparty-instrument.Counterparty role]='Debtor')} UNION {([Protection received.Observed agent identifier],[Protection received.Protection provider identifier])}
+([Counterparty default.Observed agent identifier],[Counterparty default.Counterparty identifier]) EXISTS IN {(([Counterparty-instrument.Observed agent identifier],[Counterparty-instrument.Counterparty identifier]) | [Counterparty-instrument.Counterparty role]=“Debtor”)} UNION {([Protection received.Observed agent identifier],[Protection received.Protection provider identifier])}