static void helpStartupPropositions4() {
    {
      Logic.SYM_LOGIC_ANNOTATIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ANNOTATIONS", null, 0)));
      Logic.SGT_STELLA_STRING_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("STRING-WRAPPER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_CONSTANT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CONSTANT", null, 0)));
      Logic.SGT_STELLA_SYMBOL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SYMBOL", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_PL_KERNEL_KB_MEMBER_OF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("MEMBER-OF", Stella.getStellaModule("/PL-KERNEL-KB", true), 0)));
      Logic.SYM_LOGIC_IMPLIES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("IMPLIES", null, 0)));
      Logic.SYM_PL_KERNEL_KB_SUBSET_OF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SUBSET-OF", Stella.getStellaModule("/PL-KERNEL-KB", true), 0)));
      Logic.SYM_STELLA_COLLECT_INTO = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("COLLECT-INTO", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SGT_STELLA_GENERALIZED_SYMBOL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("GENERALIZED-SYMBOL", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_FORWARD_ONLYp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FORWARD-ONLY?", null, 0)));
      Logic.SYM_LOGIC_BACKWARD_ONLYp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("BACKWARD-ONLY?", null, 0)));
      Logic.KWD_WEIGHT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("WEIGHT", null, 2)));
      Logic.SYM_LOGIC_WEIGHT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("WEIGHT", null, 0)));
      Logic.SYM_LOGIC_EQUIVALENT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("EQUIVALENT", null, 0)));
      Logic.SGT_STELLA_TABLE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("TABLE", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_PL_KERNEL_KB_POLYMORPHIC = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("POLYMORPHIC", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_VALUE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("VALUE", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_QUANTITY = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("QUANTITY", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_DATE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("DATE", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_STELLA_FLOAT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FLOAT", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_INTEGER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("INTEGER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.KWD_AUTOMATICALLY_FIX_TYPE_VIOLATIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("AUTOMATICALLY-FIX-TYPE-VIOLATIONS", null, 2)));
      Logic.KWD_POST_TYPE_VIOLATIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("POST-TYPE-VIOLATIONS", null, 2)));
      Logic.KWD_IGNORE_TYPE_VIOLATIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("IGNORE-TYPE-VIOLATIONS", null, 2)));
      Logic.KWD_REPORT_TYPE_VIOLATIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("REPORT-TYPE-VIOLATIONS", null, 2)));
      Logic.KWD_SIGNAL_TYPE_VIOLATIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("SIGNAL-TYPE-VIOLATIONS", null, 2)));
      Logic.SYM_LOGIC_ASSERTED_BY_TYPE_CHECKERp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ASSERTED-BY-TYPE-CHECKER?", null, 0)));
      Logic.SGT_LOGIC_CHECK_TYPES_RECORD = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("CHECK-TYPES-RECORD", null, 1)));
      Logic.SYM_LOGIC_PARENT_PROPOSITION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PARENT-PROPOSITION", null, 0)));
      Logic.SYM_LOGIC_PARENT_DESCRIPTION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PARENT-DESCRIPTION", null, 0)));
      Logic.KWD_MEDIUM = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("MEDIUM", null, 2)));
      Logic.KWD_REALISTIC = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("REALISTIC", null, 2)));
      Logic.SGT_PL_KERNEL_KB_SETOF = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SETOF", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_TOTAL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("TOTAL", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_LISTOF = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LISTOF", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_PL_KERNEL_KB_LIST = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LIST", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SYM_PL_KERNEL_KB_SETOF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SETOF", Stella.getStellaModule("/PL-KERNEL-KB", true), 0)));
      Logic.SYM_PL_KERNEL_KB_LISTOF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("LISTOF", Stella.getStellaModule("/PL-KERNEL-KB", true), 0)));
      Logic.SYM_LOGIC_BAGOF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("BAGOF", null, 0)));
      Logic.SYM_STELLA_ASSERT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ASSERT", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.KWD_CPP = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("CPP", null, 2)));
      Logic.KWD_DELETED = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("DELETED", null, 2)));
      Logic.SYM_LOGIC_INTRODUCE_MODULE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("INTRODUCE-MODULE", null, 0)));
      Logic.SYM_LOGIC_CLEAR_LOGIC_MODULE_HOOK = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CLEAR-LOGIC-MODULE-HOOK", null, 0)));
      Logic.SYM_LOGIC_MONOTONICp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("MONOTONIC?", null, 0)));
      Logic.SGT_STELLA_WORLD = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("WORLD", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_DESTROY_LOGIC_CONTEXT_HOOK = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DESTROY-LOGIC-CONTEXT-HOOK", null, 0)));
      Logic.SYM_STELLA_CLEARABLEp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CLEARABLE?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_STELLA_PROTECT_SURROGATESp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PROTECT-SURROGATES?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.KWD_PREORDER = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("PREORDER", null, 2)));
      Logic.SGT_STELLA_MUTABLE_STRING_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("MUTABLE-STRING-WRAPPER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_CONTEXT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("CONTEXT", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_LOGIC_COMPUTED_PROCEDURE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("COMPUTED-PROCEDURE", null, 1)));
      Logic.SGT_STELLA_NUMBER_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("NUMBER-WRAPPER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_LOGIC_STARTUP_PROPOSITIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("STARTUP-PROPOSITIONS", null, 0)));
    }
  }