Definition
−Let A = {[Counterparty-instrument.Counterparty role]} for ([Counterparty-instrument.Observed agent identifier],[Counterparty-instrument.Contract identifier],[Counterparty-instrument.Instrument identifier],[Counterparty-instrument.Counterparty identifier]). THEN, 'Creditor' IN A IF AND ONLY IF 'Debtor' NOT IN A
+Let A = {[Counterparty-instrument.Counterparty role]} for ([Counterparty-instrument.Observed agent identifier],[Counterparty-instrument.Contract identifier],[Counterparty-instrument.Instrument identifier],[Counterparty-instrument.Counterparty identifier]). THEN, “Creditor” IN A IF AND ONLY IF “Debtor” NOT IN A