Definition
−([Instrument-protection received.Observed agent identifier],[Instrument-protection received.Contract identifier],[Instrument- protection received.Instrument identifier]) EXISTS IN {([Financial.Observed agent identifier],[Financial.Contract identifier],[Financial.Instrument identifier])}
+([Instrument-protection received.Observed agent identifier],[Instrument-protection received.Contract identifier],[Instrument-protection received.Instrument identifier]) EXISTS IN {([Financial.Observed agent identifier],[Financial.Contract identifier],[Financial.Instrument identifier])}