context ContinuityOfCareDocument inv: not self.effectiveTime.nullFlavor.oclIsUndefined() or ( not self.effectiveTime.value.oclIsUndefined() and self.effectiveTime.matches(self.effectiveTime.value,'(18|19|20|21)\\d\\d((0[1-9]|1[012])((0[1-9]|[12][0-9]|3[01])(([0-1]\\d|[2][0-3])([0-5]\\d)(([0-5]\\d)))))([+-][0-1][0-9][0,3,4][0,5])') )