public static void inheritDescription(Vector arguments, Description description, boolean defaulttrueP) {
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(description), Logic.SGT_LOGIC_NAMED_DESCRIPTION)) {
      { NamedDescription description000 = ((NamedDescription)(description));

        { Proposition prop = Logic.updateTuple(description000.surrogateValueInverse, arguments.consify(), Logic.KWD_CONCEIVE);

          if (!(Proposition.trueP(prop))) {
            if (((Cons)(Logic.$COLLECTFORWARDPROPOSITIONS$.get())) != null) {
              Native.setSpecial(Logic.$COLLECTFORWARDPROPOSITIONS$, Cons.cons(prop, ((Cons)(Logic.$COLLECTFORWARDPROPOSITIONS$.get()))));
            }
            Proposition.assignTruthValue(prop, (defaulttrueP ? Logic.DEFAULT_TRUE_TRUTH_VALUE : Logic.TRUE_TRUTH_VALUE));
          }
        }
      }
    }
    else {
      Logic.inheritUnnamedDescription(arguments, description, defaulttrueP);
    }
  }