OCL21 — ocl message expression

6. – [2] The result value of an ocl message expression is the sequence of the
– outgoing messages of the ‘self’ object that matches the expression. Note that
– this may result in an empty sequence when the expression does not match to any
– of the outgoing messages.
context OclMessageExpEval
inv: resultValue =
environment.getValueOf( ’self’ ).outgoingMessages->select( m |
m.target = target.resultValue and
m.name = self.name and
self.arguments->forAll( expArg: OclMessageArgEval |
not expArg.resultValue.oclIsUndefined() implies
m.arguments->exists( messArg | messArg.value = expArg.value ))
==> add one closing bracket after expression

yes