* @return Keyword
   */
  public static Keyword evaluationState(Proposition proposition) {
    if (Logic.descriptionModeP()) {
      return (null);
    }
    else {
      return (((Keyword)(Logic.getPropagationEnvironment(((Context)(Stella.$CONTEXT$.get()))).evaluationStates.lookup(proposition))));
    }
  }