protected void demo11() throws IOException, UnknownHostException, CycApiException {
    if (cycAccess.isOpenCyc()) {
      Log.current.println("\nThis demo is not available in OpenCyc");
    }
    else {
      Log.current.println("Demonstrating getImpreciseParaphrase api function.\n");
      CycFormulaSentence formula = cycAccess.makeCycSentence(
      "(#$forAll ?PERSON1\n" +
      "  (#$implies\n" +
      "    (#$isa ?PERSON1 #$Person)\n" +
      "    (#$thereExists ?PERSON\n" +
      "      (#$and\n" +
      "        (#$isa ?PERSON2 #$Person)\n" +
      "        (#$loves ?PERSON1 ?PERSON2)))))");
      String paraphrase = cycAccess.getImpreciseParaphrase(formula);
      Log.current.println("\nThe obtained imprecise paraphrase for\n" + formula + "\nis:\n" + paraphrase);
    }
  }