context XDSSDDocument
inv: (not self.effectiveTime.oclIsUndefined()) and
self.dataEnterer->select(data : POCDMT000040DataEnterer | (not data.templateId->isEmpty()) and data.templateId->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.root = '1.3.6.1.4.1.19376.1.2.20.3'))->forAll(data : POCDMT000040DataEnterer |
       (not data.time.oclIsUndefined()) and
       (not data.time.value.oclIsUndefined()) and
       data.time.value = self.effectiveTime.value
 )