LOCAL
    types : SET OF STRING := TYPEOF (spc);
  END_LOCAL;
  IF  ((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN  types) OR
    ((schema_prefix + 'INTEGER_INTERVAL_FROM_MIN') IN  types) THEN
    RETURN  (TRUE);
  END_IF;
  IF  ((schema_prefix + 'FINITE_REAL_INTERVAL') IN  types) THEN
    RETURN  (bool(spc\finite_real_interval.min_closure = closed));
  END_IF;
  IF ((schema_prefix + 'REAL_INTERVAL_FROM_MIN') IN types) THEN
    RETURN  (bool(spc\real_interval_from_min.min_closure = closed));
  END_IF;
  RETURN (FALSE);