static void helpStartupPropositions5() {
    {
      Logic.ZERO_VARIABLES_VECTOR = Vector.newVector(0);
      { PropertyList self004 = PropertyList.newPropertyList();

        self004.thePlist = Cons.list$(Cons.cons(Logic.KWD_AND, Cons.cons(Logic.SGT_PL_KERNEL_KB_AND, Cons.cons(Logic.KWD_OR, Cons.cons(Logic.SGT_PL_KERNEL_KB_OR, Cons.cons(Logic.KWD_NOT, Cons.cons(Logic.SGT_PL_KERNEL_KB_NOT, Cons.cons(Logic.KWD_FORALL, Cons.cons(Logic.SGT_PL_KERNEL_KB_FORALL, Cons.cons(Logic.KWD_EXISTS, Cons.cons(Logic.SGT_PL_KERNEL_KB_EXISTS, Cons.cons(Logic.KWD_EQUIVALENT, Cons.cons(Logic.SGT_PL_KERNEL_KB_EQUIVALENT, Cons.cons(Logic.KWD_FAIL, Cons.cons(Logic.SGT_PL_KERNEL_KB_FAIL, Cons.cons(Logic.KWD_COLLECT_INTO, Cons.cons(Logic.SGT_PL_KERNEL_KB_COLLECT_INTO, Cons.cons(Logic.KWD_IMPLIES, Cons.cons(Logic.SGT_PL_KERNEL_KB_SUBSET_OF, Cons.cons(Stella.NIL, Stella.NIL))))))))))))))))))));
        Logic.$OPERATOR_NAME_TO_SURROGATE_TABLE$ = self004;
      }
      Logic.$LOGIC_MODULE$ = Stella.getStellaModule("LOGIC", true);
      Logic.$PL_KERNEL_MODULE$ = Stella.getStellaModule("PL-KERNEL", true);
      Logic.$LAST_KB_ACTION$ = Logic.KWD_UPDATE_PROPOSITION;
      Logic.$EVALUATIONMODE$.setDefaultValue(Logic.KWD_EXTENSIONAL_ASSERTION);
      Logic.$CLIPPINGENABLEDp$.setDefaultValue(new Boolean(true));
      Logic.$NATURALDEDUCTIONMODEp$.setDefaultValue(new Boolean(true));
      Logic.$COMPUTEDQUERYp$.setDefaultValue(new Boolean(false));
      Logic.$VARIABLEIDCOUNTER$.setDefaultValue(new Integer(0));
      Logic.$FREESKOLEMS$.setDefaultValue(null);
      { TruthValue self005 = TruthValue.newTruthValue();

        self005.polarity = Logic.KWD_TRUE;
        self005.strength = Logic.KWD_STRICT;
        self005.positiveScore = 1.0;
        Logic.TRUE_TRUTH_VALUE = self005;
      }
      { TruthValue self006 = TruthValue.newTruthValue();

        self006.polarity = Logic.KWD_FALSE;
        self006.strength = Logic.KWD_STRICT;
        self006.positiveScore = -1.0;
        Logic.FALSE_TRUTH_VALUE = self006;
      }
      { TruthValue self007 = TruthValue.newTruthValue();

        self007.polarity = Logic.KWD_TRUE;
        self007.strength = Logic.KWD_DEFAULT;
        self007.positiveScore = 0.8;
        Logic.DEFAULT_TRUE_TRUTH_VALUE = self007;
      }
      { TruthValue self008 = TruthValue.newTruthValue();

        self008.polarity = Logic.KWD_FALSE;
        self008.strength = Logic.KWD_DEFAULT;
        self008.positiveScore = -0.8;
        Logic.DEFAULT_FALSE_TRUTH_VALUE = self008;
      }
      { TruthValue self009 = TruthValue.newTruthValue();

        self009.polarity = Logic.KWD_UNKNOWN;
        Logic.UNKNOWN_TRUTH_VALUE = self009;
      }
      { TruthValue self010 = TruthValue.newTruthValue();

        self010.polarity = Logic.KWD_INCONSISTENT;
        self010.strength = Logic.KWD_STRICT;
        Logic.INCONSISTENT_TRUTH_VALUE = self010;
      }
      Logic.$SUPPRESSUNTYPEDTYPEERRORp$.setDefaultValue(new Boolean(false));
      { Proposition self011 = Proposition.newProposition();

        self011.kind = Logic.KWD_CONSTANT;
        self011.operator = Logic.SGT_STELLA_TRUE;
        self011.arguments = Vector.newVector(0);
        { Proposition object013 = self011;
          TruthValue value014 = Logic.TRUE_TRUTH_VALUE;
          Stella_Object oldValue015 = object013.truthValue;
          Stella_Object newValue016 = Stella_Object.updateInContext(oldValue015, value014, object013.homeContext, false);

          if (!((oldValue015 != null) &&
              (oldValue015.primaryType() == Logic.SGT_STELLA_CS_VALUE))) {
            object013.truthValue = newValue016;
          }
        }
        self011.homeContext = Logic.$PL_KERNEL_MODULE$;
        Logic.TRUE_PROPOSITION = self011;
      }
      { Proposition self017 = Proposition.newProposition();

        self017.kind = Logic.KWD_CONSTANT;
        self017.operator = Logic.SGT_STELLA_FALSE;
        self017.arguments = Vector.newVector(0);
        { Proposition object019 = self017;
          TruthValue value020 = Logic.FALSE_TRUTH_VALUE;
          Stella_Object oldValue021 = object019.truthValue;
          Stella_Object newValue022 = Stella_Object.updateInContext(oldValue021, value020, object019.homeContext, false);

          if (!((oldValue021 != null) &&
              (oldValue021.primaryType() == Logic.SGT_STELLA_CS_VALUE))) {
            object019.truthValue = newValue022;
          }
        }
        self017.homeContext = Logic.$PL_KERNEL_MODULE$;
        Logic.FALSE_PROPOSITION = self017;
      }
      Logic.ANONYMOUS_VARIABLE_NAME = Logic.SYM_STELLA_p;
      Logic.$MISSING_KEY_VALUE_LIST$ = KeyValueList.newKeyValueList();
      Logic.$AUTOMATICINSTANCETABLE$.setDefaultValue(Logic.$MISSING_KEY_VALUE_LIST$);
      Logic.$DEFAULTCREATIONTYPE$.setDefaultValue(null);
      Logic.$STRUCTURED_OBJECTS_INDEX$ = KeyValueMap.newKeyValueMap();
      Logic.$DONT_CHECK_FOR_DUPLICATE_PROPOSITIONSp$.setDefaultValue(new Boolean(false));
      Logic.$VISITEDUNFASTENEDDEFININGPROPOSITIONS$.setDefaultValue(null);
      Logic.$TYPE_CHECK_POLICY$ = Logic.KWD_AUTOMATICALLY_FIX_TYPE_VIOLATIONS;
      Logic.$TYPECHECKMODE$.setDefaultValue(Logic.KWD_POST_TYPE_VIOLATIONS);
      Logic.$CHECK_TYPES_AGENDA$ = VectorSequence.newVectorSequence(4);
    }
  }