public static List searchConcepts(String modulename, Cons matchlist, String casesensitiveP) {
    { Module module = edu.isi.powerloom.PLI.getModule(modulename, null);

      return (GuiServer.searchLogicObjects(modulename, GuiServer.getAllConcepts(module, true), matchlist, casesensitiveP));
    }
  }