Characteristic predicate ExtractorMessage :: ExtractorMessage
ExtractorMessage
(
)