Characteristic predicate NumericValue :: NumericValue
NumericValue
(
)