context XDSSDDocument
inv: self.recordTarget->size()>0 and 
self.recordTarget->exists(rt : POCDMT000040RecordTarget | 
       (not rt.patientRole.oclIsUndefined()) and
        rt.patientRole.addr->size()>0
        )