Characteristic predicate SystemInterface :: SystemInterface
SystemInterface
(
)