public static World lookupInferenceCache(Context context, Keyword kind) {
    { Context cacheworld = null;

      if (kind == Logic.KWD_JUST_IN_TIME) {
        cacheworld = ((World)(KeyValueList.dynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_JUST_IN_TIME_INFERENCE_CACHE, null)));
      }
      else if (kind == Logic.KWD_META) {
        cacheworld = ((World)(KeyValueList.dynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_META_INFERENCE_CACHE, null)));
      }
      else if (kind == Logic.KWD_TMS) {
        cacheworld = ((World)(KeyValueList.dynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_TRUTH_MAINTAINED_INFERENCE_CACHE, null)));
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + kind + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
      return (((World)(cacheworld)));
    }
  }