public static List getClassificationRelations(Cons consQuery) {
    { QueryIterator query = Logic.makeQuery(Stella.NIL, ((Cons)(Stella_Object.copyConsTree(consQuery))), Stella.NIL, Stella.NIL);
      List result = List.newList();
      IncrementalPartialMatch pmf = null;

      query.options.insertAt(Logic.KWD_MATCH_MODE, Logic.KWD_BASIC);
      query.options.insertAt(Logic.KWD_MAXIMIZE_SCOREp, Stella.TRUE_WRAPPER);
      Logic.callAskPartial(query);
      pmf = ((IncrementalPartialMatch)(query.baseControlFrame.partialMatchFrame.child.child));
      { Proposition prop = null;
        Vector vector000 = ((Vector)(pmf.controlFrame.proposition.arguments));
        int index000 = 0;
        int length000 = vector000.length();
        Cons collect000 = null;

        for (;index000 < length000; index000 = index000 + 1) {
          prop = ((Proposition)((vector000.theArray)[index000]));
          if (collect000 == null) {
            {
              collect000 = Cons.cons(prop, Stella.NIL);
              if (result.theConsList == Stella.NIL) {
                result.theConsList = collect000;
              }
              else {
                Cons.addConsToEndOfConsList(result.theConsList, collect000);
              }
            }
          }
          else {
            {
              collect000.rest = Cons.cons(prop, Stella.NIL);
              collect000 = collect000.rest;
            }
          }
        }
      }
      return (result);
    }
  }