hasMessageTypeReceived
P200235
predicate
Indicates that a message has been received and classified as having a specific message type.