protected void demo10() throws IOException, UnknownHostException, CycApiException {
    if (cycAccess.isOpenCyc()) {
      Log.current.println("\nThis demo is not available in OpenCyc");
    }
    else {
      Log.current.println("Demonstrating getParaphrase api function.\n");
      CycFormulaSentence formula = cycAccess.makeCycSentence(
      "(#$thereExists ?PLANET\n" +
      "  (#$and\n" +
      "    (#$isa ?PLANET #$Planet)\n" +
      "    (#$orbits ?PLANET #$Sun)))");
      String paraphrase = cycAccess.getParaphrase(formula);
      Log.current.println("\nThe obtained paraphrase for\n" + formula + "\nis:\n" + paraphrase);
    }
  }