context XDSSDBppcTemplateWithSD inv: self.documentationOf->size()>0 and self.documentationOf->exists(docu : POCDMT000040DocumentationOf | docu.serviceEvent->size()>0 and docu.serviceEvent->exists(sevent : POCDMT000040ServiceEvent | sevent.templateId->size()>0 and sevent.templateId->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.root = '1.3.6.1.4.1.19376.1.5.3.1.2.6') ) )