context PPAServiceEvents
inv: (not self.effectiveTime.oclIsUndefined()) and 
(not self.effectiveTime.low.oclIsUndefined()) and 
(not self.effectiveTime.low.value.oclIsUndefined())