Predicate signature KindValidationConfigSig::neutralKind
Holds if a neutral model exists for the given kind.
signature predicate neutralKind(string kind)Holds if a neutral model exists for the given kind.
signature predicate neutralKind(string kind)