!7

static int n, limit = 1000000;

sS inputDiagrams = [[

  CirclesAndLines(circles=[Circle(text="Find", x=d("0.27089337175792505"), y=d("0.18181818181818182")), Circle(text="an integer", x=d("0.5965417867435159"), y=d("0.19922630560928434")), Circle(text="odd", x=d("0.5936599423631124"), y=d("0.5145067698259188"))], lines=[Arrow(a=t5, b=t26, text=""), Arrow(a=t26, b=t47, text="that is")])

  CirclesAndLines(circles=[Circle(text="A standard function that enumerates", x=d("0.3011527377521614"), y=d("0.2688588007736944")), Circle(text="integers", x=d("0.5561959654178674"), y=d("0.4448742746615087")), Circle(text="\"enumerateIntegers\"", x=d("0.7521613832853026"), y=d("0.6808510638297872"))], lines=[Arrow(a=t5, b=t26, text=""), Arrow(a=t26, b=t47, text="is")])

  CirclesAndLines(circles=[Circle(text="A standard function that tests", x=d("0.3645533141210375"), y=d("0.2011605415860735")), Circle(text="an integer", x=d("0.2377521613832853"), y=d("0.5764023210831721")), Circle(text="odd", x=d("0.47982708933717577"), y=d("0.5725338491295938")), Circle(text="\"odd\"", x=d("0.7132564841498559"), y=d("0.562862669245648"))], lines=[Arrow(a=t5, b=t26, text="what"), Arrow(a=t5, b=t47, text="for property"), Arrow(a=t5, b=t68, text="is")])

]];

p {

  Web web = webFromCALStructures_noMerge(inputDiagrams);

  showWeb(web);

  infoBox("Thinking...");

  WebNode find = web_findNode(web, "Find");

  WebNode op = web_operand(find);

  print("Finding: " + op);

  S plural = plural(dropArticle(web_text(op)));

  print("Plural: " + plural);

  Pair<WebNode> finder = web_findTriple(web, "A standard function that enumerates", "", plural);

  print("Finder: " + finder);

  if (finder == null) fail("No finder");

  S sfName = web_operandText(finder.b, "is");

  if (sfName == null) fail("No sf");

  print("Using function: " + sfName);

  Iterator iterator = getIterator(makeAndCall(sfName));

  new L testers;

  for (Pair<S, WebNode> p : web_forwardRelationsTextPlusNodes(op)) {

    //print("Condition: " + p);

    if (eqic(p.a, "that is")) {

      S property = p.b.text();

      testers.add(ai_makeTester(web, web_text(op), property));

    }

    else fail("Unknown condition: " + p);

  }

  infoBox("Iterating...");

  search: while (iterator.hasNext()) {

    ping();

    if (++n > limit) {

      print("Limit of " + limit + " reached, cancelling.");

      break;

    }

    O o = iterator.next();

    for (O tester : testers)

      if (!isTrue(callF(tester, o)))

        continue search;

    infoBox("Answer found in step " + n + "!!! >> " + o);

    break;

  }

}