public static Cons getSynonyms(Stella_Object term) {
    { Stella_Object termvalue = Logic.valueOf(term);
      Stella_Object firstarg = null;
      Stella_Object secondarg = null;
      Cons synonyms = Stella.NIL;

      { Proposition prop = null;
        Iterator iter000 = Logic.allTrueDependentPropositions(term, Logic.SGT_PL_KERNEL_KB_SYNONYM, false);

        while (iter000.nextP()) {
          prop = ((Proposition)(iter000.value));
          firstarg = Logic.valueOf((prop.arguments.theArray)[0]);
          secondarg = Logic.valueOf((prop.arguments.theArray)[1]);
          if (Stella_Object.eqlP(firstarg, termvalue) &&
              ((!Stella_Object.eqlP(firstarg, secondarg)) &&
               (!synonyms.membP(secondarg)))) {
            synonyms = Cons.cons(secondarg, synonyms);
          }
        }
      }
      return (synonyms);
    }
  }