hasMessageNameReceived
P200254
predicate
Indicates that a specific message, identified by its name, has been received.
P200254
Indicates that a specific message, identified by its name, has been received.