Characteristic predicate SystemStruct :: SystemStruct
SystemStruct
(
)