static void helpStartupPropositions1() {
    {
      Logic.SYM_LOGIC_PROPOSITIONS_INDEX = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PROPOSITIONS-INDEX", null, 0)));
      Logic.SYM_LOGIC_INSTANCES_INDEX = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("INSTANCES-INDEX", null, 0)));
      Logic.SGT_LOGIC_BACKLINKS_INDEX = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("BACKLINKS-INDEX", null, 1)));
      Logic.SYM_LOGIC_DEPENDENT_PROPOSITIONS_LIST = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DEPENDENT-PROPOSITIONS-LIST", null, 0)));
      Logic.SYM_LOGIC_DEPENDENT_ISA_PROPOSITIONS_LIST = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DEPENDENT-ISA-PROPOSITIONS-LIST", null, 0)));
      Logic.SYM_LOGIC_PREDICATE_PROPOSITIONS_TABLE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PREDICATE-PROPOSITIONS-TABLE", null, 0)));
      Logic.SGT_LOGIC_LOGIC_OBJECT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LOGIC-OBJECT", null, 1)));
      Logic.SYM_STELLA_BADp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("BAD?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_STELLA_HOME_CONTEXT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("HOME-CONTEXT", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_VARIABLE_VALUE_INVERSE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLE-VALUE-INVERSE", null, 0)));
      Logic.SYM_STELLA_SURROGATE_VALUE_INVERSE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SURROGATE-VALUE-INVERSE", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_OBJECT_STRINGIFIED_SOURCE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("OBJECT-STRINGIFIED-SOURCE", null, 0)));
      Logic.SYM_LOGIC_OBJECT_ORIGINATED_PROPOSITIONS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("OBJECT-ORIGINATED-PROPOSITIONS", null, 0)));
      Logic.SGT_STELLA_CS_VALUE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("CS-VALUE", Stella.getStellaModule("/STELLA", true), 1)));
      Logic.SYM_STELLA_DELETED_OBJECTp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DELETED-OBJECT?", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SGT_LOGIC_LOGIC_THING = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("LOGIC-THING", null, 1)));
      Logic.SGT_LOGIC_PATTERN_VARIABLE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("PATTERN-VARIABLE", null, 1)));
      Logic.SGT_LOGIC_SKOLEM = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("SKOLEM", null, 1)));
      Logic.SYM_LOGIC_SKOLEM_TYPE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SKOLEM-TYPE", null, 0)));
      Logic.SYM_LOGIC_SKOLEM_NAME = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SKOLEM-NAME", null, 0)));
      Logic.SYM_LOGIC_VARIABLE_VALUE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLE-VALUE", null, 0)));
      Logic.SYM_LOGIC_DEFINING_PROPOSITION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DEFINING-PROPOSITION", null, 0)));
      Logic.SYM_LOGIC_BOUND_TO_OFFSET = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("BOUND-TO-OFFSET", null, 0)));
      Logic.SYM_STELLA_VARIABLE_NAME = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLE-NAME", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_OBJECT_VECTOR = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("OBJECT-VECTOR", null, 0)));
      Logic.SYM_LOGIC_ARGUMENTS_VECTOR = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ARGUMENTS-VECTOR", null, 0)));
      Logic.SYM_LOGIC_VARIABLES_VECTOR = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("VARIABLES-VECTOR", null, 0)));
      Logic.SGT_LOGIC_FORWARD_CHAINING_INDEX = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("FORWARD-CHAINING-INDEX", null, 1)));
      Logic.SYM_LOGIC_FORWARD_GOAL = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FORWARD-GOAL", null, 0)));
      Logic.SYM_LOGIC_MASTER_RULE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("MASTER-RULE", null, 0)));
      Logic.SYM_LOGIC_IO_VARIABLES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("IO-VARIABLES", null, 0)));
      Logic.SYM_LOGIC_QUERY_BODY = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("QUERY-BODY", null, 0)));
      Logic.SYM_LOGIC_INPUT_BINDINGS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("INPUT-BINDINGS", null, 0)));
      Logic.SYM_LOGIC_CACHE_ID = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CACHE-ID", null, 0)));
      Logic.SYM_LOGIC_CONSEQUENT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("CONSEQUENT", null, 0)));
      Logic.SGT_LOGIC_DESCRIPTION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("DESCRIPTION", null, 1)));
      Logic.SYM_LOGIC_FORWARD_CHAINING_INDICES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FORWARD-CHAINING-INDICES", null, 0)));
      Logic.SYM_LOGIC_DEFERRED_CONTRAPOSITIVESp = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("DEFERRED-CONTRAPOSITIVES?", null, 0)));
      Logic.SYM_LOGIC_INTERNAL_VARIABLES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("INTERNAL-VARIABLES", null, 0)));
      Logic.SYM_LOGIC_QUERY_PATTERNS = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("QUERY-PATTERNS", null, 0)));
      Logic.SYM_LOGIC_RELATIVE_COMPLEMENT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("RELATIVE-COMPLEMENT", null, 0)));
      Logic.SYM_LOGIC_COMPLEMENT_DESCRIPTION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("COMPLEMENT-DESCRIPTION", null, 0)));
      Logic.SGT_LOGIC_NAMED_DESCRIPTION = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("NAMED-DESCRIPTION", null, 1)));
      Logic.SYM_LOGIC_NATIVE_RELATION_BACK_POINTER = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("NATIVE-RELATION-BACK-POINTER", null, 0)));
      Logic.SYM_LOGIC_IO_VARIABLE_NAMES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("IO-VARIABLE-NAMES", null, 0)));
      Logic.SYM_LOGIC_IO_VARIABLE_TYPES = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("IO-VARIABLE-TYPES", null, 0)));
      Logic.SYM_STELLA_EXTENSION = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("EXTENSION", Stella.getStellaModule("/STELLA", true), 0)));
      Logic.SYM_LOGIC_PARTIAL_MATCH_SCORE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("PARTIAL-MATCH-SCORE", null, 0)));
      Logic.SYM_LOGIC_SET_OF_SUPPORT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SET-OF-SUPPORT", null, 0)));
      Logic.SYM_LOGIC_TIMESTAMP = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("TIMESTAMP", null, 0)));
      Logic.KWD_UNKNOWN = ((Keyword)(GeneralizedSymbol.internRigidSymbolWrtModule("UNKNOWN", null, 2)));
      Logic.SGT_LOGIC_TRUTH_VALUE = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("TRUTH-VALUE", null, 1)));
      Logic.SYM_LOGIC_POLARITY = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("POLARITY", null, 0)));
      Logic.SYM_LOGIC_STRENGTH = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("STRENGTH", null, 0)));
      Logic.SYM_LOGIC_POSITIVE_SCORE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("POSITIVE-SCORE", null, 0)));
      Logic.SGT_LOGIC_PARTIAL_SUPPORT = ((Surrogate)(GeneralizedSymbol.internRigidSymbolWrtModule("PARTIAL-SUPPORT", null, 1)));
      Logic.SYM_LOGIC_FACT = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("FACT", null, 0)));
      Logic.SYM_LOGIC_AXIOM = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("AXIOM", null, 0)));
      Logic.SYM_LOGIC_SCORE = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("SCORE", null, 0)));
      Logic.SYM_LOGIC_ID = ((Symbol)(GeneralizedSymbol.internRigidSymbolWrtModule("ID", null, 0)));
    }
  }