context PolicyActivity
inv: self.participant->size()=1 and 
self.participant->forAll(part : POCDMT000040Participant2 | 	
		not part.time.oclIsUndefined()
)