Characteristic predicate Constructor :: Constructor
Constructor
(
)