context PPAServiceEvents
inv: (not self.code.oclIsUndefined()) and 
(not self.code.code.oclIsUndefined()) and 
(not self.code.codeSystem.oclIsUndefined())