public static World createInferenceCache(Context context, Keyword kind) {
    { World world = Context.createWorld((Stella.getQuotedTree("((:JUST-IN-TIME :TMS) \"/LOGIC\")", "/LOGIC").memberP(kind) ? Logic.getInferenceCache(context, Logic.KWD_META) : context), null);

      if (kind == Logic.KWD_JUST_IN_TIME) {
        KeyValueList.setDynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_JUST_IN_TIME_INFERENCE_CACHE, world, null);
      }
      else if (kind == Logic.KWD_META) {
        KeyValueList.setDynamicSlotValue(world.dynamicSlots, Logic.SYM_LOGIC_MONOTONICp, Stella.TRUE_WRAPPER, Stella.FALSE_WRAPPER);
        KeyValueList.setDynamicSlotValue(world.dynamicSlots, Logic.SYM_LOGIC_UP_TO_DATE_INFERENCESp, ((!Logic.allPropositions(context.baseModule, true).nextP()) ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER), Stella.FALSE_WRAPPER);
        KeyValueList.setDynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_META_INFERENCE_CACHE, world, null);
      }
      else if (kind == Logic.KWD_TMS) {
        KeyValueList.setDynamicSlotValue(context.dynamicSlots, Logic.SYM_LOGIC_TRUTH_MAINTAINED_INFERENCE_CACHE, world, null);
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + kind + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
      KeyValueList.setDynamicSlotValue(world.dynamicSlots, Logic.SYM_LOGIC_INFERENCE_CACHE_OF, context, null);
      Logic.initializeInferenceWorld(world);
      return (world);
    }
  }