!7

!include once #1027167 // Compact Module Include 2 v2

module WinogradSolver1 > DynSingleFunctionWithPrintLog {

  transient PhilosophyBot1 engine;

  transient O multiStage; // unused

  S prelude = "import bool";

  S input = "Bob paid for Charlie's college education. He is very [generous/grateful]. Who is [generous/grateful]?";

  Map<S, SS> answers = syncMap();

  void doIt {

    clear(answers); change();

    if (empty(input)) ret;

    // Stage 1: take one option out of square brackets

    for (S variant : winograd_variants(input)) {

      print(variant);

      SS _answers = ciMap();

      dm_call(multiStage, 'addStage, "Variant", variant);

      // Stage 1b: Split off 's

      S input2b = ai_splitOffApostropheS(variant);

      dm_call(multiStage, 'addStage, "Split off 's", input2b);

      // Stage 1c: Split into sentences

      LS sentences = map dropQuestionMark(sentences(input2b));

      dm_call(multiStage, 'addStage, "Split into sentences", sentences);

      // Stage 2: Parser

      S parser = dm_makeModule("#1027108/TopDownParsing");

      //L<virtual TryPatterns> parsed = map(sentences, s -> dm_call(parser, 'parse, s));

      L<Cl<S>> parsed = map(sentences, s -> (Cl<S>) dm_call(parser, 'parseToGroupings, s));

      pnl(parsed);

      Set<S> allGroupings = concatListsToCISet(parsed);

      print("Have " + n2(allGroupings, "grouping"));

      dm_call(multiStage, 'addStage, "Parser", parsed);

      // Stage 3a: Select the right rules for the task

      Cl<S> allRules = dm_getUnclearList("Rules"); // take all for now

      // Stage 3b: Run logic engine

      S program = joinWithEmptyLines(concatLists(ll(prelude), allGroupings, allRules));

      engine = PhilosophyBot1(program);

      engine.standardImports();

      engine.enableTrails();

      engine.printFactsAfterThinking = false;

      engine.think();

      engine.printDeducedFactsWithTrails();

      for (SS map : engine.matchFacts("the answer to $x is $y"))

        if (allGroupings.contains($x(map))) {

          printAfterNewLine("ANSWER>> " + $x(map) + ": " + $y(map));

          _answers.put($x(map), $y(map));

        }

      answers.put(variant, _answers); change();

      print();

    }

  }

  visual northCenterAndSouthWithMargins(

    jCenteredSection("Input", dm_centeredTextField input()),

    super,

    jCenteredSection("Answers",

      //dm_calculatedTextArea(() -> pnlToString(answers)))

      dm_calculatedCenteredLabel(() -> joinWithSlash(

        map(values(answers), map -> joinWithComma(values(map)))))

    );

}