Characteristic predicate UnknownType :: UnknownType
UnknownType
(
)