Characteristic predicate SpringEntry :: SpringEntry
SpringEntry
(
)