!7

sS data = [[

  User: Today I bought a {Big Mac} for 1 €

  Bot: Wow... that's cheap! Usually they cost like... how much?

  User: 5 €

  Bot: Yes, yes. So that's 80% off!

  ---- Test

  User: Today I bought a car for 50 €

  Bot: Wow... that's cheap! Usually they cost like... how much?

  User: 5000 €

  Bot: Yes, yes. So that's 99% off!

]];

p-exp {

  consoleWidthCenter(1000);

  SS sections = minusSignSections(data);

  F1<S, LS> tokenize = f<S, LS> javaTokWithBrackets;

  LPair<S> pairs = assertNotNull(zipTwoLists_strict(

    tlft(sections.get("")),

    tlft(sections.get("Test"))));

  pnl(pairs);

  SS map = ciMap();

  for (PairS p : pairs) {

    LS tokA = callF(tokenize, p.a), tokB = callF(tokenize, p.b);

    if (l(tokA) != l(tokB))

      continue with print("Mismatched token count, skipping: " + p);

    SS map2 = gazelle_zipTwoTokenizationsToMap(tokA, tokB);

    if (map2 == null) continue with warn("line not matchable: " + p);

    printIndent(map2);

    Set<S> newVars = setMinusSet(keys(map2), keys(map));

    print("New vars: " + newVars);

    print("  Rule: " + p.b + " => " + joinWithComma(map joinPairWithSpacedEquals(mapBoth optCurly(mapToPairs(map2)))));

    if (!putAllStrictlyIC(map, map2)) warn("failure to merge maps");

  }

  print(map);

  LS numberKeys = filter isInteger(keys(map));

  L<Double> numbers = map parseDouble(numberKeys);

  S numFunc = null;

  if (l(numbers) > 1) {

    numFunc = ai_findNumberCalculationFunction1(numbers);

    if (numFunc != null) {

      print("Found number function: " + numFunc);

      LS numberValues = filter isInteger(values(map));

      L<Double> numbers2 = map parseDouble(numberValues);

      if (ai_checkNumberCalculationFunction1(numFunc, numbers2))

        print("Number function verifies.");

      else {

        print("Number function doesn't verify.");

        numFunc = null;

      }

    }

  }

}