context XDSSDDocument
inv: self.legalAuthenticator->forAll(la : POCDMT000040LegalAuthenticator | 
       la.assignedEntity.oclIsUndefined() or 
        la.assignedEntity.id->forAll(ii : II  | (not ii.root.oclIsUndefined()) and (not ii.extension.oclIsUndefined()))
        )