sbool englishToConceptLanguage_xyz_debug, englishToConceptLanguage_useBrackets = true;

static new ThreadLocal<Int> englishToConceptLanguage_xyz_level;

sS englishToConceptLanguage_xyz(S s, O preprocess) {

  assertNotNull("Input", s);

  /*int level = englishToConceptLanguage_xyz_level.get();

  if (level >= englishToConceptLanguage_xyz_maxLevel) fail("max level");

  englishToConceptLanguage_xyz_level.set(level+1);

  try {*/

  s = postProcess(preprocess, s);

  // pattern matching all concepts against full string

  for (AIConcept c : englishToConceptLanguage_concepts()) {

    if (empty(c.name)) {

      print("Warning, empty name: " + c.globalID);

      continue;

    }

    S name = postProcess(preprocess, c.name);

    try answer englishToConceptLanguage_xyz_with(c.globalID, name, s);

  }

  // no full string match. go word by word

  L<S> tok = javaTok(s);

  if (l(tok) <= 3) null;

  for (int i = 1; i < l(tok); i += 2) {

    S x = englishToConceptLanguage(unquote(tok.get(i)));

    if (nempty(x)) tok.set(i, conceptQuote(x));

  }

  S x = join(tok);

  ret eq(x, s) ? null : x;

}

sS englishToConceptLanguage_xyz_sub(S name, S original, S s) {

  if (l(s) >= l(original)) fail("Bad sub: " + quote(name) + " " + quote(s));

  S s2 = or2(englishToConceptLanguage(s), s);

  if (englishToConceptLanguage_xyz_debug)

    print("xyz_sub " + quote(s) + " => " + quote(s2));

  if (englishToConceptLanguage_useBrackets)

    ret isIdentifier(s2) || isInteger(s2) || isProperlyQuoted(s2) ? s2 : "(" + s2 + ")";

  ret conceptQuote(s2);

}

sS englishToConceptLanguage_xyz_with(S id, S s) {

  ret englishToConceptLanguage_xyz_with(getAIConcept(id), s);

}

sS englishToConceptLanguage_xyz_with(AIConcept c, S s) {

  if (c == null) null;

  ret englishToConceptLanguage_xyz_with(c.globalID, c.name, s);

}

sS englishToConceptLanguage_xyz_with(S id, S name, S s) {

  new Matches m;

  L<S> tok = javaTokC(name);

  //replace(tok, "*", "\\*");

  if (tok.contains("*")) null;

  int iX = tok.indexOf("X");

  if (iX >= 0) {

    int iY = tok.indexOf("Y");

    if (iY >= 0) {

      int iZ = tok.indexOf("Z");

      if (iZ >= 0) {

        int iAA = tok.indexOf("AA");

        if (iAA >= 0) {

          // X, Y, Z and AA

          S pat = formatXYZ(name, "*", "*", "*", "*");

          bool yes = flexMatchIC2(pat, s, m, false);

          if (englishToConceptLanguage_xyz_debug && yes)

            print("xyz: " + pat + " - " + s + " => " + (yes ? struct(m) : "-"));

          if (yes) {

            assertEquals(name, 4, l(m.m));

            new TreeMap<Int, S> map;

            map.put(iX, englishToConceptLanguage_xyz_sub(name, s, m.m[0]));

            map.put(iY, englishToConceptLanguage_xyz_sub(name, s, m.m[1]));

            map.put(iZ, englishToConceptLanguage_xyz_sub(name, s, m.m[2]));

            map.put(iAA, englishToConceptLanguage_xyz_sub(name, s, m.m[3]));

            ret aiUsing(id) + " " + join(" ", values(map));

          }

        } else {

          // X and Y and Z

          S pat = formatXYZ(name, "*", "*", "*");

          bool yes = flexMatchIC2(pat, s, m, false);

          if (englishToConceptLanguage_xyz_debug && yes)

            print("xyz: " + pat + " - " + s + " => " + (yes ? struct(m) : "-"));

          if (yes) {

            assertEquals(name, 3, l(m.m));

            new TreeMap<Int, S> map;

            map.put(iX, englishToConceptLanguage_xyz_sub(name, s, m.m[0]));

            map.put(iY, englishToConceptLanguage_xyz_sub(name, s, m.m[1]));

            map.put(iZ, englishToConceptLanguage_xyz_sub(name, s, m.m[2]));

            ret aiUsing(id) + " " + join(" ", values(map));

          }

        }

      } else {

        // X and Y

        S pat = formatXYZ(name, "*", "*");

        bool complicated = containsSubList(tok, "X", "Y");

        bool yes = complicated ? jmatch(pat, s, m) : flexMatchIC2(pat, s, m, false);

        if (englishToConceptLanguage_xyz_debug && yes)

          print("xyz: " + pat + " - " + s + " => " + (yes ? struct(m) : "-"));

        if (yes) {

          assertEquals(name, 2, l(m.m));

          S a = englishToConceptLanguage_xyz_sub(name, s, m.m[0]);

          S b = englishToConceptLanguage_xyz_sub(name, s, m.m[1]);

          ret aiUsing(id) + " " +

            (iX < iY ? a + " " + b : b + " " + a);

        }

      }

    } else if (l(tok) > 1) {

      // X only

      S pat = formatXYZ(name, "*");

      if (flexMatchIC2(pat, s, m, false)) {

        assertEquals(name, 1, l(m.m));

        S a = englishToConceptLanguage_xyz_sub(name, s, m.m[0]);

        ret aiUsing(id) + " " + a;

      }

    }

  }

  null;

}