public static boolean inheritsTruthFromMasterP(Proposition self) {
    { Proposition master = ((Proposition)(KeyValueList.dynamicSlotValue(self.dynamicSlots, Logic.SYM_LOGIC_MASTER_PROPOSITION, null)));

      if ((master != null) &&
          Proposition.trueP(master)) {
        Proposition.assignTruthValue(self, Stella.TRUE_WRAPPER);
        return (true);
      }
    }
    return (false);
  }