Characteristic predicate SystemTypeClass :: SystemTypeClass
SystemTypeClass
(
)