public static void vectorDinheritUnnamedDescription(Vector arguments, Description description, boolean defaulttrueP) {
    { Cons propositions = null;
      KeyValueMap mapping = null;

      { Object [] caller_MV_returnarray = new Object[1];

        propositions = Logic.inheritDescriptionPropositions(arguments, description, caller_MV_returnarray);
        mapping = ((KeyValueMap)(caller_MV_returnarray[0]));
      }
      { Proposition prop = null;
        Cons iter000 = Logic.filterImpliedSkolemPropositions(propositions, description, arguments, mapping);
        Cons collect000 = null;

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          prop = ((Proposition)(iter000.value));
          if (!Proposition.trueP(prop)) {
            Proposition.assignTruthValue(prop, (defaulttrueP ? Logic.DEFAULT_TRUE_TRUTH_VALUE : Logic.TRUE_TRUTH_VALUE));
            if (!(((Cons)(Logic.$COLLECTFORWARDPROPOSITIONS$.get())) != null)) {
              continue loop000;
            }
            if (collect000 == null) {
              {
                collect000 = Cons.cons(prop, Stella.NIL);
                if (((Cons)(Logic.$COLLECTFORWARDPROPOSITIONS$.get())) == Stella.NIL) {
                  Native.setSpecial(Logic.$COLLECTFORWARDPROPOSITIONS$, collect000);
                }
                else {
                  Cons.addConsToEndOfConsList(((Cons)(Logic.$COLLECTFORWARDPROPOSITIONS$.get())), collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(prop, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
    }
  }