context XDSSDDocument
inv: (not self.effectiveTime.oclIsUndefined()) and 
self.author->select(aut : POCDMT000040Author | (not aut.templateId->isEmpty()) and aut.templateId->exists(ii : II | (not ii.root.oclIsUndefined()) and ii.root='1.3.6.1.4.1.19376.1.2.20.2'))->forAll(aut : POCDMT000040Author |
	(not aut.time.oclIsUndefined()) and 
	(not aut.time.value.oclIsUndefined()) and 
	aut.time.value = self.effectiveTime.value
)