Definition
−([Protection received.Observed agent identifier],[Protection received.Protection identifier]) EXISTS IN {([Instrument-protection received.Observed agent identifier],[Instrument- protection received.Protection identifier])}
+([Protection received.Observed agent identifier],[Protection received.Protection identifier]) EXISTS IN {([Instrument-protection received.Observed agent identifier],[Instrument-protection received.Protection identifier])}
Kurzbeschreibung
−If a protection received record exists, then an Instrument- protection received record must exist.
+If a protection received record exists, then an Instrument-protection received record must exist.