public static Cons buildAntecedentFromRuleIndex(Vector props, List ruleIndex) {
    { Cons antecedent = Stella.NIL;
      Cons consProp = Stella.NIL;

      { IntegerWrapper index = null;
        Cons iter000 = ruleIndex.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          index = ((IntegerWrapper)(iter000.value));
          if (index.wrapperValue < 0) {
            consProp = Cons.list$(Cons.cons(Logic.SYM_LOGIC_FAIL, Cons.cons(((Cons)((props.theArray)[(Stella.integer_abs(index.wrapperValue) - 1)])), Cons.cons(Stella.NIL, Stella.NIL))));
          }
          else {
            consProp = ((Cons)((props.theArray)[(Stella.integer_abs(index.wrapperValue) - 1)]));
          }
          antecedent = Cons.cons(consProp, antecedent);
        }
      }
      return (antecedent);
    }
  }