Characteristic predicate CharacterType :: CharacterType
CharacterType
(
)