public static boolean valueClashesWithSkolemP(Skolem skolem, Stella_Object value) {
    { Surrogate type = skolem.skolemType;

      if (type == null) {
        return (false);
      }
      else if (!(((((QueryIterator)(Logic.$QUERYITERATOR$.get())) != null) &&
          (((QueryIterator)(Logic.$QUERYITERATOR$.get())).partialMatchStrategy != null)) ||
          Logic.checkStrictTypeP(value, type, true))) {
        return (true);
      }
      else if (Logic.literalTypeP(type) &&
          Logic.logicalSubtypeOfP(type, Logic.SGT_STELLA_NUMBER)) {
        return (!edu.isi.powerloom.pl_kernel_kb.PlKernelKb.satisfiesIntervalBoundsP(skolem, ((NumberWrapper)(value))));
      }
      else {
        return (false);
      }
    }
  }