context XDSSDBppcTemplateWithSD
inv:  self.documentationOf->size()>0 and 
 self.documentationOf->exists(docu : POCDMT000040DocumentationOf |
 	docu.serviceEvent->size()>0 and 
 	docu.serviceEvent->exists(sevent : POCDMT000040ServiceEvent | 
 		(not sevent.classCode.oclIsUndefined()) and 
 		sevent.classCode =ActClassRoot::ACT and 
 		(not sevent.moodCode.oclIsUndefined()) and
 		 sevent.moodCode = ActMood::EVN
	)
 )