public static void startupDescriptions() {
    { Object old$Module$000 = Stella.$MODULE$.get();
      Object old$Context$000 = Stella.$CONTEXT$.get();

      try {
        Native.setSpecial(Stella.$MODULE$, Stella.getStellaModule("/LOGIC", Stella.$STARTUP_TIME_PHASE$ > 1));
        Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
        if (Stella.currentStartupTimePhaseP(2)) {
          _StartupDescriptions.helpStartupDescriptions1();
          _StartupDescriptions.helpStartupDescriptions2();
        }
        if (Stella.currentStartupTimePhaseP(4)) {
          Logic.FAKE_IO_VARIABLES = Vector.newVector(0);
          Logic.SYSTEM_DEFINED_ARGUMENT_NAMES = Cons.list$(Cons.cons(Logic.SYM_LOGIC_pX1, Cons.cons(Logic.SYM_LOGIC_pX2, Cons.cons(Logic.SYM_LOGIC_pX3, Cons.cons(Logic.SYM_LOGIC_pX4, Cons.cons(Logic.SYM_LOGIC_pX5, Cons.cons(Logic.SYM_LOGIC_pX6, Cons.cons(Logic.SYM_LOGIC_pX7, Cons.cons(Logic.SYM_LOGIC_pX8, Cons.cons(Logic.SYM_LOGIC_pX9, Cons.cons(Logic.SYM_LOGIC_pX10, Cons.cons(Logic.SYM_LOGIC_pX11, Cons.cons(Logic.SYM_LOGIC_pX12, Cons.cons(Logic.SYM_LOGIC_pX13, Cons.cons(Logic.SYM_LOGIC_pX14, Cons.cons(Logic.SYM_LOGIC_pX15, Cons.cons(Logic.SYM_LOGIC_pX16, Cons.cons(Logic.SYM_LOGIC_pX17, Cons.cons(Logic.SYM_LOGIC_pX18, Cons.cons(Logic.SYM_LOGIC_pX19, Cons.cons(Logic.SYM_LOGIC_pX20, Cons.cons(Logic.SYM_LOGIC_pX21, Cons.cons(Logic.SYM_LOGIC_pX22, Cons.cons(Logic.SYM_LOGIC_pX23, Cons.cons(Logic.SYM_LOGIC_pX24, Cons.cons(Logic.SYM_LOGIC_pX25, Cons.cons(Logic.SYM_LOGIC_pX26, Cons.cons(Logic.SYM_LOGIC_pX27, Cons.cons(Logic.SYM_LOGIC_pX28, Cons.cons(Logic.SYM_LOGIC_pX29, Cons.cons(Logic.SYM_LOGIC_pX30, Cons.cons(Logic.SYM_LOGIC_pX31, Cons.cons(Logic.SYM_LOGIC_pX32, Cons.cons(Logic.SYM_LOGIC_pX33, Cons.cons(Logic.SYM_LOGIC_pX34, Cons.cons(Logic.SYM_LOGIC_pX35, Cons.cons(Logic.SYM_LOGIC_pX36, Cons.cons(Logic.SYM_LOGIC_pX37, Cons.cons(Logic.SYM_LOGIC_pX38, Cons.cons(Logic.SYM_LOGIC_pX39, Cons.cons(Logic.SYM_LOGIC_pX40, Cons.cons(Logic.SYM_LOGIC_pX41, Cons.cons(Logic.SYM_LOGIC_pX42, Cons.cons(Logic.SYM_LOGIC_pX43, Cons.cons(Logic.SYM_LOGIC_pX44, Cons.cons(Logic.SYM_LOGIC_pX45, Cons.cons(Logic.SYM_LOGIC_pX46, Cons.cons(Logic.SYM_LOGIC_pX47, Cons.cons(Logic.SYM_LOGIC_pX48, Cons.cons(Logic.SYM_LOGIC_pX49, Cons.cons(Logic.SYM_LOGIC_pX50, Cons.cons(Logic.SYM_LOGIC_pX51, Cons.cons(Logic.SYM_LOGIC_pX52, Cons.cons(Logic.SYM_LOGIC_pX53, Cons.cons(Logic.SYM_LOGIC_pX54, Cons.cons(Logic.SYM_LOGIC_pX55, Cons.cons(Logic.SYM_LOGIC_pX56, Cons.cons(Logic.SYM_LOGIC_pX57, Cons.cons(Logic.SYM_LOGIC_pX58, Cons.cons(Logic.SYM_LOGIC_pX59, Cons.cons(Logic.SYM_LOGIC_pX60, Cons.cons(Logic.SYM_LOGIC_pX61, Cons.cons(Logic.SYM_LOGIC_pX62, Cons.cons(Logic.SYM_LOGIC_pX63, Cons.cons(Logic.SYM_LOGIC_pX64, Cons.cons(Logic.SYM_LOGIC_pX65, Cons.cons(Logic.SYM_LOGIC_pX66, Cons.cons(Logic.SYM_LOGIC_pX67, Cons.cons(Logic.SYM_LOGIC_pX68, Cons.cons(Logic.SYM_LOGIC_pX69, Cons.cons(Logic.SYM_LOGIC_pX70, Cons.cons(Logic.SYM_LOGIC_pX71, Cons.cons(Logic.SYM_LOGIC_pX72, Cons.cons(Logic.SYM_LOGIC_pX73, Cons.cons(Logic.SYM_LOGIC_pX74, Cons.cons(Logic.SYM_LOGIC_pX75, Cons.cons(Logic.SYM_LOGIC_pX76, Cons.cons(Logic.SYM_LOGIC_pX77, Cons.cons(Logic.SYM_LOGIC_pX78, Cons.cons(Logic.SYM_LOGIC_pX79, Cons.cons(Logic.SYM_LOGIC_pX80, Cons.cons(Logic.SYM_LOGIC_pX81, Cons.cons(Logic.SYM_LOGIC_pX82, Cons.cons(Logic.SYM_LOGIC_pX83, Cons.cons(Logic.SYM_LOGIC_pX84, Cons.cons(Logic.SYM_LOGIC_pX85, Cons.cons(Logic.SYM_LOGIC_pX86, Cons.cons(Logic.SYM_LOGIC_pX87, Cons.cons(Logic.SYM_LOGIC_pX88, Cons.cons(Logic.SYM_LOGIC_pX89, Cons.cons(Logic.SYM_LOGIC_pX90, Cons.cons(Logic.SYM_LOGIC_pX91, Cons.cons(Logic.SYM_LOGIC_pX92, Cons.cons(Logic.SYM_LOGIC_pX93, Cons.cons(Logic.SYM_LOGIC_pX94, Cons.cons(Logic.SYM_LOGIC_pX95, Cons.cons(Logic.SYM_LOGIC_pX96, Cons.cons(Logic.SYM_LOGIC_pX97, Cons.cons(Logic.SYM_LOGIC_pX98, Cons.cons(Logic.SYM_LOGIC_pX99, Cons.cons(Logic.SYM_LOGIC_pX100, Cons.cons(Stella.NIL, Stella.NIL))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))));
          Logic.$LOGICVARIABLETABLE$.setDefaultValue(null);
          Logic.$UNIFY_PROPOSITIONSp$.setDefaultValue(new Boolean(false));
          Logic.$RECURSIVEGETCOMPLEMENTARGUMENT$.setDefaultValue(null);
          Logic.$ADDEDNEWTYPEp$.setDefaultValue(new Boolean(false));
        }
        if (Stella.currentStartupTimePhaseP(5)) {
          Stella.defineStellaTypeFromStringifiedSource("(DEFTYPE VARIABLE-TYPE-TABLE (KEY-VALUE-LIST OF PATTERN-VARIABLE (LIST OF TYPE)))");
        }
        if (Stella.currentStartupTimePhaseP(6)) {
          Stella.finalizeClasses();
        }
        if (Stella.currentStartupTimePhaseP(7)) {
          _StartupDescriptions.helpStartupDescriptions3();
          Stella.defineFunctionObject("FINISH-BUILDING-DESCRIPTION", "(DEFUN (FINISH-BUILDING-DESCRIPTION DESCRIPTION) ((DESCRIPTION DESCRIPTION) (CHECKFORDUPLICATE? BOOLEAN) (KIND KEYWORD)))", Native.find_java_method("edu.isi.powerloom.logic.Description", "finishBuildingDescription", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), java.lang.Boolean.TYPE, Native.find_java_class("edu.isi.stella.Keyword")}), null);
          Stella.defineFunctionObject("EVALUATE-DESCRIPTION-TERM", "(DEFUN (EVALUATE-DESCRIPTION-TERM DESCRIPTION) ((TERM CONS) (CHECKFORDUPLICATE? BOOLEAN)))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "evaluateDescriptionTerm", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Cons"), java.lang.Boolean.TYPE}), null);
          Stella.defineFunctionObject("REMOVE-VARIABLE-TYPE-PROPOSITIONS", "(DEFUN (REMOVE-VARIABLE-TYPE-PROPOSITIONS (CONS OF PROPOSITION)) ((PROPOSITION PROPOSITION)))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "removeVariableTypePropositions", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition")}), null);
          Stella.defineFunctionObject("GET-COMPLEMENT-OF-GOAL-DESCRIPTION", "(DEFUN (GET-COMPLEMENT-OF-GOAL-DESCRIPTION DESCRIPTION) ((SELF NAMED-DESCRIPTION)))", Native.find_java_method("edu.isi.powerloom.logic.NamedDescription", "getComplementOfGoalDescription", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.NamedDescription")}), null);
          Stella.defineFunctionObject("COLLECT-FREE-VARIABLES", "(DEFUN COLLECT-FREE-VARIABLES ((SELF OBJECT) (COLLECTION (LIST OF PATTERN-VARIABLE)) (QUANTIFIEDVARS LIST) (BEENTHERE LIST)))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "collectFreeVariables", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("edu.isi.stella.List"), Native.find_java_class("edu.isi.stella.List"), Native.find_java_class("edu.isi.stella.List")}), null);
          Stella.defineFunctionObject("TOP-LEVEL-EXISTENTIAL-VARIABLES", "(DEFUN (TOP-LEVEL-EXISTENTIAL-VARIABLES (CONS OF PATTERN-VARIABLE)) ((SELF DESCRIPTION)))", Native.find_java_method("edu.isi.powerloom.logic.Description", "topLevelExistentialVariables", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description")}), null);
          Stella.defineFunctionObject("TOP-LEVEL-EXISTENTIAL-VARIABLE?", "(DEFUN (TOP-LEVEL-EXISTENTIAL-VARIABLE? BOOLEAN) ((VARIABLE PATTERN-VARIABLE) (DESCRIPTION DESCRIPTION)))", Native.find_java_method("edu.isi.powerloom.logic.PatternVariable", "topLevelExistentialVariableP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.PatternVariable"), Native.find_java_class("edu.isi.powerloom.logic.Description")}), null);
          Stella.defineFunctionObject("FREE-VARIABLE?", "(DEFUN (FREE-VARIABLE? BOOLEAN) ((VARIABLE PATTERN-VARIABLE) (PROPOSITION PROPOSITION)))", Native.find_java_method("edu.isi.powerloom.logic.PatternVariable", "freeVariableP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.PatternVariable"), Native.find_java_class("edu.isi.powerloom.logic.Proposition")}), null);
          Stella.defineFunctionObject("MOST-SPECIFIC-TYPES", "(DEFUN (MOST-SPECIFIC-TYPES (LIST OF TYPE)) ((TYPES (LIST OF TYPE))))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "mostSpecificTypes", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.List")}), null);
          Stella.defineFunctionObject("ADD-VARIABLE-TYPE", "(DEFUN ADD-VARIABLE-TYPE ((VARIABLE PATTERN-VARIABLE) (NEWTYPE TYPE) (TABLE VARIABLE-TYPE-TABLE) (VISIBLEVARIABLES (CONS OF PATTERN-VARIABLE))))", Native.find_java_method("edu.isi.powerloom.logic.PatternVariable", "addVariableType", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.PatternVariable"), Native.find_java_class("edu.isi.stella.Surrogate"), Native.find_java_class("edu.isi.stella.KeyValueList"), Native.find_java_class("edu.isi.stella.Cons")}), null);
          Stella.defineFunctionObject("INFER-PREDICATE-FROM-OPERATOR-AND-TYPES", "(DEFUN (INFER-PREDICATE-FROM-OPERATOR-AND-TYPES OBJECT) ((OPERATOR OBJECT) (TYPES (LIST OF TYPE))))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "inferPredicateFromOperatorAndTypes", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("edu.isi.stella.List")}), null);
          Stella.defineFunctionObject("INFER-TYPES-FROM-ONE-PROPOSITION", "(DEFUN INFER-TYPES-FROM-ONE-PROPOSITION ((PROPOSITION PROPOSITION) (TABLE VARIABLE-TYPE-TABLE) (VISIBLEVARS (CONS OF PATTERN-VARIABLE))))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "inferTypesFromOneProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("edu.isi.stella.KeyValueList"), Native.find_java_class("edu.isi.stella.Cons")}), null);
          Stella.defineFunctionObject("INFER-TYPES-FROM-PROPOSITIONS", "(DEFUN INFER-TYPES-FROM-PROPOSITIONS ((PROPOSITION PROPOSITION) (TABLE VARIABLE-TYPE-TABLE) (VISIBLEVARS (CONS OF PATTERN-VARIABLE))))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "inferTypesFromPropositions", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("edu.isi.stella.KeyValueList"), Native.find_java_class("edu.isi.stella.Cons")}), null);
          Stella.defineFunctionObject("INFER-VARIABLE-TYPES-IN-PROPOSITION", "(DEFUN (INFER-VARIABLE-TYPES-IN-PROPOSITION VARIABLE-TYPE-TABLE) ((PROPOSITION PROPOSITION) (VISIBLEVARIABLES (CONS OF PATTERN-VARIABLE))))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "inferVariableTypesInProposition", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("edu.isi.stella.Cons")}), null);
          Stella.defineFunctionObject("INFER-VARIABLE-TYPES-IN-DESCRIPTION", "(DEFUN (INFER-VARIABLE-TYPES-IN-DESCRIPTION VARIABLE-TYPE-TABLE) ((DESCRIPTION DESCRIPTION)))", Native.find_java_method("edu.isi.powerloom.logic.Description", "inferVariableTypesInDescription", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description")}), null);
          Stella.defineFunctionObject("COLLECT-UNRESOLVED-SLOT-REFERENCES", "(DEFUN (COLLECT-UNRESOLVED-SLOT-REFERENCES (CONS OF PROPOSITION)) ((SELF PROPOSITION)))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "collectUnresolvedSlotReferences", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition")}), null);
          Stella.defineFunctionObject("RESOLVE-ONE-SLOT-REFERENCE?", "(DEFUN (RESOLVE-ONE-SLOT-REFERENCE? BOOLEAN) ((PROPOSITION PROPOSITION) (VARIABLETYPESTABLE VARIABLE-TYPE-TABLE)))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "resolveOneSlotReferenceP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition"), Native.find_java_class("edu.isi.stella.KeyValueList")}), null);
          Stella.defineFunctionObject("RESOLVE-UNRESOLVED-SLOT-REFERENCES", "(DEFUN RESOLVE-UNRESOLVED-SLOT-REFERENCES ((FORMULA OBJECT)))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "resolveUnresolvedSlotReferences", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object")}), null);
          Stella.defineFunctionObject("CREATE-DUMMY-RELATION", "(DEFUN CREATE-DUMMY-RELATION ((WAYWARDPROPOSITION PROPOSITION)))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "createDummyRelation", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition")}), null);
          Stella.defineFunctionObject("DEFINED-RELATION?", "(DEFUN (DEFINED-RELATION? BOOLEAN) ((SELF NAMED-DESCRIPTION)))", Native.find_java_method("edu.isi.powerloom.logic.NamedDescription", "definedRelationP", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.NamedDescription")}), null);
          Stella.defineFunctionObject("LIST-UNDEFINED-RELATIONS", "(DEFUN (LIST-UNDEFINED-RELATIONS (CONS OF NAMED-DESCRIPTION)) (|&REST| (OPTIONS OBJECT)) :DOCUMENTATION \"Return a list of as yet undefined concepts and relations in the module defined\nby the :module option (which defaults to the current module).  These relations were\ndefined by the system, since they were referenced but have not yet been defined by\nthe user.  If `:local?' is specified as TRUE only look in the specified module but\nnot any modules it inherits.  For backwards compatibility, this command also supports\nthe old <module> <local?> arguments specified without keywords.\" :PUBLIC? TRUE :COMMAND? TRUE :EVALUATE-ARGUMENTS? FALSE)", Native.find_java_method("edu.isi.powerloom.logic.Logic", "listUndefinedRelations", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Cons")}), Native.find_java_method("edu.isi.powerloom.logic.Logic", "listUndefinedRelationsEvaluatorWrapper", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Cons")}));
          Stella.defineFunctionObject("CALL-LIST-UNDEFINED-RELATIONS", "(DEFUN (CALL-LIST-UNDEFINED-RELATIONS CONS) ((MODULE MODULE) (LOCAL? BOOLEAN)) :DOCUMENTATION \"Callable version of `list-undefined-relations' (which see).\" :PUBLIC? TRUE)", Native.find_java_method("edu.isi.powerloom.logic.Logic", "callListUndefinedRelations", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Module"), java.lang.Boolean.TYPE}), null);
          Stella.defineFunctionObject("COMPLAIN-ABOUT-UNDECLARED-REFERENCE", "(DEFUN COMPLAIN-ABOUT-UNDECLARED-REFERENCE ((WAYWARDPROPOSITION PROPOSITION)))", Native.find_java_method("edu.isi.powerloom.logic.Proposition", "complainAboutUndeclaredReference", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Proposition")}), null);
          Stella.defineFunctionObject("ALL-NAMED-DESCRIPTIONS-NEXT?", "(DEFUN (ALL-NAMED-DESCRIPTIONS-NEXT? BOOLEAN) ((SELF ALL-PURPOSE-ITERATOR)))", Native.find_java_method("edu.isi.powerloom.logic.Logic", "allNamedDescriptionsNextP", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.AllPurposeIterator")}), null);
          Stella.defineFunctionObject("ALL-NAMED-DESCRIPTIONS", "(DEFUN (ALL-NAMED-DESCRIPTIONS (ITERATOR OF NAMED-DESCRIPTION)) ((MODULE MODULE) (LOCAL? BOOLEAN)) :DOCUMENTATION \"Iterate over all named descriptions visible from 'module'.\nIf 'local?', return only named descriptions interned in 'module'.\nIf 'module' is null, return all named descriptions interned everywhere.\" :PUBLIC? TRUE)", Native.find_java_method("edu.isi.powerloom.logic.Logic", "allNamedDescriptions", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Module"), java.lang.Boolean.TYPE}), null);
          Stella.defineFunctionObject("STARTUP-DESCRIPTIONS", "(DEFUN STARTUP-DESCRIPTIONS () :PUBLIC? TRUE)", Native.find_java_method("edu.isi.powerloom.logic._StartupDescriptions", "startupDescriptions", new java.lang.Class [] {}), null);
          { MethodSlot function = Symbol.lookupFunction(Logic.SYM_LOGIC_STARTUP_DESCRIPTIONS);

            KeyValueList.setDynamicSlotValue(function.dynamicSlots, Logic.SYM_STELLA_METHOD_STARTUP_CLASSNAME, StringWrapper.wrapString("_StartupDescriptions"), Stella.NULL_STRING_WRAPPER);
          }
        }
        if (Stella.currentStartupTimePhaseP(8)) {
          Stella.finalizeSlots();
          Stella.cleanupUnfinalizedClasses();
        }
        if (Stella.currentStartupTimePhaseP(9)) {
          Stella_Object.inModule(((StringWrapper)(Stella_Object.copyConsTree(StringWrapper.wrapString("LOGIC")))));
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFCONSTANT FAKE-IO-VARIABLES VARIABLES-VECTOR (NEW VARIABLES-VECTOR :ARRAY-SIZE 0) :DOCUMENTATION \"Installed in a description with undetermined arity.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFCONSTANT SYSTEM-DEFINED-ARGUMENT-NAMES (CONS OF SYMBOL) (BQUOTE (?X1 ?X2 ?X3 ?X4 ?X5 ?X6 ?X7 ?X8 ?X9 ?X10 ?X11 ?X12 ?X13 ?X14 ?X15 ?X16 ?X17 ?X18 ?X19 ?X20 ?X21 ?X22 ?X23 ?X24 ?X25 ?X26 ?X27 ?X28 ?X29 ?X30 ?X31 ?X32 ?X33 ?X34 ?X35 ?X36 ?X37 ?X38 ?X39 ?X40 ?X41 ?X42 ?X43 ?X44 ?X45 ?X46 ?X47 ?X48 ?X49 ?X50 ?X51 ?X52 ?X53 ?X54 ?X55 ?X56 ?X57 ?X58 ?X59 ?X60 ?X61 ?X62 ?X63 ?X64 ?X65 ?X66 ?X67 ?X68 ?X69 ?X70 ?X71 ?X72 ?X73 ?X74 ?X75 ?X76 ?X77 ?X78 ?X79 ?X80 ?X81 ?X82 ?X83 ?X84 ?X85 ?X86 ?X87 ?X88 ?X89 ?X90 ?X91 ?X92 ?X93 ?X94 ?X95 ?X96 ?X97 ?X98 ?X99 ?X100)) :PUBLIC? TRUE)");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *LOGICVARIABLETABLE* (CONS OF SKOLEM) NULL :DOCUMENTATION \"Table mapping logic variable names to variables or skolems.\nUsed during construction of a proposition or description.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *VARIABLETYPEPROPOSITIONS* (CONS OF PROPOSITION) :DOCUMENTATION \"List of propositions extracted from parsing\na list of quantified, typed variables.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *UNIFY-PROPOSITIONS?* BOOLEAN FALSE)");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *EXTERNALVARIABLES* CONS :DOCUMENTATION \"Used by 'evaluate-DESCRIPTION-term' for collecting\na list of variables declared external to the description in which they\nare referenced.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *RECURSIVEGETCOMPLEMENTARGUMENT* NAMED-DESCRIPTION NULL :DOCUMENTATION \"Used to prevent infinite looping.\")");
          Stella.defineStellaGlobalVariableFromStringifiedSource("(DEFSPECIAL *ADDEDNEWTYPE?* BOOLEAN FALSE :DOCUMENTATION \"Used by 'infer-variable-types'.\")");
        }

      } finally {
        Stella.$CONTEXT$.set(old$Context$000);
        Stella.$MODULE$.set(old$Module$000);
      }
    }
  }