static void helpStartupPropositions3() {
    {
      Logic.KWD_DESCRIPTION = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("DESCRIPTION", null, 2)));
      Logic.KWD_DEVELOPMENT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("DEVELOPMENT", null, 2)));
      Logic.KWD_RETRACT_TRUE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("RETRACT-TRUE", null, 2)));
      Logic.SGT_PL_KERNEL_KB_UPDATE_PROPOSITION_DEMON = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("UPDATE-PROPOSITION-DEMON", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_FUNCTION = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("FUNCTION", null, 2)));
      Logic.KWD_ISA = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("ISA", null, 2)));
      Logic.SGT_PL_KERNEL_KB_GOES_TRUE_DEMON = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("GOES-TRUE-DEMON", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_PREDICATE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("PREDICATE", null, 2)));
      Logic.SGT_PL_KERNEL_KB_GOES_FALSE_DEMON = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("GOES-FALSE-DEMON", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_GOES_UNKNOWN_DEMON = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("GOES-UNKNOWN-DEMON", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SYM_LOGIC_MASTER_PROPOSITION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("MASTER-PROPOSITION", null, 0)));
      Logic.KWD_ASSERT_TRUE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("ASSERT-TRUE", null, 2)));
      Logic.KWD_PRESUME_TRUE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("PRESUME-TRUE", null, 2)));
      Logic.KWD_ASSERT_FALSE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("ASSERT-FALSE", null, 2)));
      Logic.KWD_PRESUME_FALSE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("PRESUME-FALSE", null, 2)));
      Logic.KWD_RETRACT_FALSE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("RETRACT-FALSE", null, 2)));
      Logic.KWD_ASSERT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("ASSERT", null, 2)));
      Logic.KWD_RETRACT_INCONSISTENT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("RETRACT-INCONSISTENT", null, 2)));
      Logic.KWD_RETRACT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("RETRACT", null, 2)));
      Logic.KWD_CONCEIVE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("CONCEIVE", null, 2)));
      Logic.SGT_PL_KERNEL_KB_HIDDEN_RELATION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("HIDDEN-RELATION", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_LOGIC_HIDDEN_INSTANCE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("HIDDEN-INSTANCE", null, 1)));
      Logic.KWD_MODULE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("MODULE", null, 2)));
      Logic.KWD_LOCALp = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("LOCAL?", null, 2)));
      Logic.KWD_KB_UPDATE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("KB-UPDATE", null, 2)));
      Logic.KWD_META_KB_UPDATE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("META-KB-UPDATE", null, 2)));
      Logic.SGT_STELLA_STORAGE_SLOT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("STORAGE-SLOT", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_SURROGATE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SURROGATE", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_RELATION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("RELATION", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_DESCRIPTION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DESCRIPTION", null, 0)));
      Logic.SYM_LOGIC_EQUIVALENT_VALUE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("EQUIVALENT-VALUE", null, 0)));
      Logic.KWD_TRUE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("TRUE", null, 2)));
      Logic.KWD_STRICT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("STRICT", null, 2)));
      Logic.KWD_FALSE = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("FALSE", null, 2)));
      Logic.KWD_INCONSISTENT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("INCONSISTENT", null, 2)));
      Logic.KWD_LOOKUP_ASSERTIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("LOOKUP-ASSERTIONS", null, 2)));
      Logic.SYM_LOGIC_META_INFERENCE_CACHE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("META-INFERENCE-CACHE", null, 0)));
      Logic.SYM_LOGIC_TRUTH_MAINTAINED_INFERENCE_CACHE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("TRUTH-MAINTAINED-INFERENCE-CACHE", null, 0)));
      Logic.SYM_LOGIC_IOTAp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("IOTA?", null, 0)));
      Logic.SGT_PL_KERNEL_KB_CONCEPT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("CONCEPT", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_RELATION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("RELATION", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_STELLA_SET = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SET", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_PL_KERNEL_KB_SET = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SET", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_STELLA_SLOT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SLOT", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_PL_KERNEL_KB_FUNCTION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FUNCTION", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_INTERVAL_CACHE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("INTERVAL-CACHE", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_ge = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule(">=", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SYM_LOGIC_CONFLICTING_DEFAULT_VALUES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CONFLICTING-DEFAULT-VALUES", null, 0)));
      Logic.KWD_CONSTANT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("CONSTANT", null, 2)));
      Logic.SGT_STELLA_TRUE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("TRUE", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_FALSE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FALSE", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_CREATE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CREATE", null, 0)));
      Logic.KWD_INTENSIONAL_ASSERTION = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("INTENSIONAL-ASSERTION", null, 2)));
      Logic.SYM_STELLA_p = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_STELLA_CLASS_EXTENSION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CLASS-EXTENSION", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_TRANSFER_LOGIC_INFORMATION_FROM_RELATION_HOOK = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("TRANSFER-LOGIC-INFORMATION-FROM-RELATION-HOOK", null, 0)));
      Logic.SYM_LOGIC_SUBRELATION_LINKp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SUBRELATION-LINK?", null, 0)));
      Logic.SGT_PL_KERNEL_KB_HOLDS = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("HOLDS", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_MEMBER_OF = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("MEMBER-OF", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_DISABLED = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("DISABLED", null, 2)));
    }
  }