* @return boolean
   */
  public static boolean trueP(Proposition self) {
    { TruthValue truthvalue = ((TruthValue)(Stella_Object.accessInContext(self.truthValue, self.homeContext, false)));

      if (truthvalue == Logic.TRUE_TRUTH_VALUE) {
        return (true);
      }
      else if (truthvalue == Logic.DEFAULT_TRUE_TRUTH_VALUE) {
        if (!((Boolean)(Logic.$DONTUSEDEFAULTKNOWLEDGEp$.get())).booleanValue()) {
          return (true);
        }
      }
      else if ((truthvalue != null) &&
          ((truthvalue.polarity == Logic.KWD_TRUE) &&
           ((!((Boolean)(Logic.$DONTUSEDEFAULTKNOWLEDGEp$.get())).booleanValue()) ||
            (truthvalue.strength == Logic.KWD_STRICT)))) {
        return (true);
      }
      return (false);
    }
  }