*
   * @throws UnknownHostException if cyc server host not found on the network
   * @throws IOException if a data communication error occurs
   * @throws CycApiException if the api request results in a cyc server error
   */
  public void unassertWithBookkeepingAndWithoutTranscript(CycList sentence,
          CycObject mt)
          throws UnknownHostException, IOException,
          CycApiException {
    String command = wrapBookkeeping("(cyc-unassert " + sentence.stringApiValue()
            + makeELMt(mt).stringApiValue() + ")");
    boolean unassertOk = converseBoolean(command);

    if (!unassertOk) {
      throw new CycApiException("Could not unassert from mt: " + makeELMt(
              mt) + "\n  "
              + sentence.cyclify());
    }
  }