Characteristic predicate AbstractClass :: AbstractClass
AbstractClass
(
)