Characteristic predicate ReferenceType :: ReferenceType
ReferenceType
(
)