public static InferenceLevel getInferenceLevel(Keyword levelkeyword) {
    if (levelkeyword == Logic.KWD_NORMAL) {
      return (Logic.NORMAL_INFERENCE);
    }
    else if (levelkeyword == Logic.KWD_SHALLOW) {
      return (Logic.SHALLOW_INFERENCE);
    }
    else if (levelkeyword == Logic.KWD_ASSERTION) {
      return (Logic.ASSERTION_INFERENCE);
    }
    else if (levelkeyword == Logic.KWD_SUBSUMPTION) {
      return (Logic.SUBSUMPTION_INFERENCE);
    }
    else if (levelkeyword == Logic.KWD_BACKTRACKING) {
      return (Logic.BACKTRACKING_INFERENCE);
    }
    else if (levelkeyword == Logic.KWD_REFUTATION) {
      return (Logic.REFUTATION_INFERENCE);
    }
    else {
      {
        Stella.STANDARD_WARNING.nativeStream.println("Warning: Illegal inference level: `" + levelkeyword + "'.");
        Stella.STANDARD_WARNING.nativeStream.println("   Legal values are :ASSERTION :SHALLOW :SUBSUMPTION :BACKTRACKING :NORMAL :REFUTATION.");
        Stella.STANDARD_WARNING.nativeStream.println();
      }
;
    }
    return (((NormalInferenceLevel)(Logic.$INFERENCELEVEL$.get())));
  }