Characteristic predicate SpringModel :: SpringModel
SpringModel
(
)