/** Demonstrates getImpreciseParaphrase (with quantified formula) api function. */
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);
}
}
