static void helpStartupPropositions2() {
    {
      Logic.SYM_LOGIC_ARGUMENT_SCORES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ARGUMENT-SCORES", null, 0)));
      Logic.SGT_LOGIC_PROPOSITION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("PROPOSITION", null, 1)));
      Logic.SYM_LOGIC_VARIABLE_TYPEp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLE-TYPE?", null, 0)));
      Logic.SYM_LOGIC_SATELLITE_PROPOSITIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SATELLITE-PROPOSITIONS", null, 0)));
      Logic.SYM_LOGIC_UNFASTENEDp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("UNFASTENED?", null, 0)));
      Logic.SYM_LOGIC_WEIGHT_DELTA = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("WEIGHT-DELTA", null, 0)));
      Logic.SYM_LOGIC_SUPPORT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SUPPORT", null, 0)));
      Logic.SYM_LOGIC_KIND = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("KIND", null, 0)));
      Logic.SYM_STELLA_OPERATOR = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("OPERATOR", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_RELATIONREF = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("RELATIONREF", null, 0)));
      Logic.SYM_LOGIC_DEPENDENT_PROPOSITIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DEPENDENT-PROPOSITIONS", null, 0)));
      Logic.SYM_LOGIC_PROPOSITION_ORIGINATED_PROPOSITIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PROPOSITION-ORIGINATED-PROPOSITIONS", null, 0)));
      Logic.SYM_LOGIC_PROPOSITION_STRINGIFIED_SOURCE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PROPOSITION-STRINGIFIED-SOURCE", null, 0)));
      Logic.SGT_LOGIC_QUANTITY_LOGIC_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("QUANTITY-LOGIC-WRAPPER", null, 1)));
      Logic.SYM_LOGIC_FUNCTION_TERM = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FUNCTION-TERM", null, 0)));
      Logic.SGT_LOGIC_INTEGER_LOGIC_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("INTEGER-LOGIC-WRAPPER", null, 1)));
      Logic.SGT_LOGIC_FLOAT_LOGIC_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FLOAT-LOGIC-WRAPPER", null, 1)));
      Logic.SGT_LOGIC_STRING_LOGIC_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("STRING-LOGIC-WRAPPER", null, 1)));
      Logic.SYM_LOGIC_ENTITY_MAPPING = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ENTITY-MAPPING", null, 0)));
      Logic.KWD_AND = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("AND", null, 2)));
      Logic.SGT_PL_KERNEL_KB_AND = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("AND", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_OR = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("OR", null, 2)));
      Logic.SGT_PL_KERNEL_KB_OR = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("OR", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_NOT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("NOT", null, 2)));
      Logic.SGT_PL_KERNEL_KB_NOT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("NOT", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_FORALL = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("FORALL", null, 2)));
      Logic.SGT_PL_KERNEL_KB_FORALL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FORALL", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_EXISTS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("EXISTS", null, 2)));
      Logic.SGT_PL_KERNEL_KB_EXISTS = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("EXISTS", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_EQUIVALENT = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("EQUIVALENT", null, 2)));
      Logic.SGT_PL_KERNEL_KB_EQUIVALENT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("EQUIVALENT", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_FAIL = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("FAIL", null, 2)));
      Logic.SGT_PL_KERNEL_KB_FAIL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FAIL", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_COLLECT_INTO = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("COLLECT-INTO", null, 2)));
      Logic.SGT_PL_KERNEL_KB_COLLECT_INTO = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("COLLECT-INTO", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.KWD_IMPLIES = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("IMPLIES", null, 2)));
      Logic.SGT_PL_KERNEL_KB_SUBSET_OF = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SUBSET-OF", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SYM_STELLA_FUNCTION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FUNCTION", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_STELLA_PREDICATE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PREDICATE", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_DESCRIPTIVEp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DESCRIPTIVE?", null, 0)));
      Logic.SYM_STELLA_CODE_ONLYp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CODE-ONLY?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SGT_LOGIC_EXCEPTION_RECORD = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("EXCEPTION-RECORD", null, 1)));
      Logic.SYM_LOGIC_LOCALLY_CONCEIVED_PROPOSITIONS_INTERNAL = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("LOCALLY-CONCEIVED-PROPOSITIONS-INTERNAL", null, 0)));
      Logic.KWD_CONTEXT_PROPOSITIONS = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("CONTEXT-PROPOSITIONS", null, 2)));
      Logic.SYM_LOGIC_LOCALLY_CONCEIVED_INSTANCES_INTERNAL = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("LOCALLY-CONCEIVED-INSTANCES-INTERNAL", null, 0)));
      Logic.KWD_CONTEXT_INSTANCES = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("CONTEXT-INSTANCES", null, 2)));
      Logic.KWD_UPDATE_PROPOSITION = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("UPDATE-PROPOSITION", null, 2)));
      Logic.KWD_EXECUTE_QUERY = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("EXECUTE-QUERY", null, 2)));
      Logic.SYM_LOGIC_BOTTOM = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("BOTTOM", null, 0)));
      Logic.SGT_STELLA_LITERAL = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LITERAL", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_LOGIC_F_LOGICAL_SUBTYPE_OF_LITERALp_MEMO_TABLE_000 = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("F-LOGICAL-SUBTYPE-OF-LITERAL?-MEMO-TABLE-000", null, 1)));
      Logic.SGT_STELLA_CLASS = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("CLASS", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_LITERAL_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LITERAL-WRAPPER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_BOOLEAN = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("BOOLEAN", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_STELLA_BOOLEAN_WRAPPER = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("BOOLEAN-WRAPPER", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_PL_KERNEL_KB_VARIABLE_ARITY = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLE-ARITY", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_STELLA_COLLECTION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("COLLECTION", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SGT_PL_KERNEL_KB_RELATION_COMPUTATION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("RELATION-COMPUTATION", Stella.getStellaModule("/PL-KERNEL-KB", true), 1)));
      Logic.SGT_STELLA_THING = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("THING", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.KWD_EXTENSIONAL_ASSERTION = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("EXTENSIONAL-ASSERTION", null, 2)));
    }
  }