public static void evaluateAdjacentInequalities(LogicObject self) {
    { Proposition dep = null;
      Iterator iter000 = Logic.allSpecializingDependentPropositions(self, Logic.SGT_PL_KERNEL_KB_INEQUALITY);

      while (iter000.nextP()) {
        dep = ((Proposition)(iter000.value));
        { boolean alwaysP000 = true;

          { Stella_Object arg = null;
            Vector vector000 = dep.arguments;
            int index000 = 0;
            int length000 = vector000.length();

            loop001 : for (;index000 < length000; index000 = index000 + 1) {
              arg = (vector000.theArray)[index000];
              if (!(Stella_Object.isaP(Logic.valueOf(arg), Logic.SGT_LOGIC_LOGIC_OBJECT) ||
                  (!Proposition.trueP(dep)))) {
                alwaysP000 = false;
                break loop001;
              }
            }
          }
          if (alwaysP000) {
            Proposition.postForEvaluation(dep, ((Context)(Stella.$CONTEXT$.get())));
          }
        }
      }
    }
  }