context XDSSDBppcTemplateWithSD inv: (self.documentationOf->size()>0) and self.documentationOf->exists(docu : POCDMT000040DocumentationOf | (not docu.typeCode.oclIsUndefined()) and docu.typeCode = ActRelationshipType::DOC)