Characteristic predicate ImplementsTag :: ImplementsTag
ImplementsTag
(
)