context XDSSDDocument
inv: self.recordTarget->size()>0 and  
self.recordTarget->forAll(rt : POCDMT000040RecordTarget |
	 (not rt.patientRole.oclIsUndefined()) and 
	 rt.patientRole.id->size()>0 and 
	 rt.patientRole.id->forAll(ii : II | (not ii.root.oclIsUndefined()) and (not ii.extension.oclIsUndefined()))
)