sbool englishToConceptLanguage_xyz_debug, englishToConceptLanguage_useBrackets = true;

sbool englishToConceptLanguage_unquote;

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 (englishToConceptLanguage_unquote) s = unquote(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);

  if (l(tok) < 2) null;

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

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

  int n = numberOfXYZVars_c(tok);

  if (n == 0) null;

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

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

  if (englishToConceptLanguage_xyz_debug && yes)

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

  if (!yes) null;

  if (n != l(m.m)) null;

  new TreeMap<Int, S> map;

  for i over tok: {

    int x = xyzVarToIndex(tok.get(i));

    if (x != 0)

      map.put(i, englishToConceptLanguage_xyz_sub(name, s, m.m[x-1]));

  }

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

}