Characteristic predicate TypeService :: TypeService
TypeService
(
)