Characteristic predicate CallableValue :: CallableValue
CallableValue
(
)