public static TruthValue propositionTruthValue(Proposition proposition) {
    { TruthValue truthvalue = ((TruthValue)(Stella_Object.accessInContext(proposition.truthValue, proposition.homeContext, false)));

      if (truthvalue != null) {
        return (truthvalue);
      }
      else {
        if ((!((Boolean)(Logic.$REVERSEPOLARITYp$.get())).booleanValue()) &&
            Proposition.functionWithDefinedValueP(proposition)) {
          return (Logic.TRUE_TRUTH_VALUE);
        }
        else {
          return (null);
        }
      }
    }
  }