Characteristic predicate IntersectionType :: IntersectionType
IntersectionType
(
)