public static void dbRelationGoesTrue(Proposition proposition) {
    { Surrogate baseRelation = Proposition.getPropositionBaseOperator(proposition);
      edu.isi.sdbc.Connection connection = RDBMS.getConnectionFromPredicate(baseRelation);

      if (((Boolean)(Logic.$CLIPPINGENABLEDp$.get())).booleanValue() &&
          Logic.functionP(Logic.getDescription(baseRelation))) {
        edu.isi.sdbc.Connection.executeSql(connection, StringWrapper.wrapString(RDBMS.createSqlAssertionFromProposition(proposition, RDBMS.KWD_CLIP)), Stella.NIL);
      }
      else {
        edu.isi.sdbc.Connection.executeSql(connection, StringWrapper.wrapString(RDBMS.createSqlAssertionFromProposition(proposition, RDBMS.KWD_RETRACT)), Stella.NIL);
      }
      edu.isi.sdbc.Connection.executeSql(connection, StringWrapper.wrapString(RDBMS.createSqlAssertionFromProposition(proposition, RDBMS.KWD_ASSERT)), Stella.NIL);
    }
  }