static void ai_spec_searchForAnswer_v2(S s) {
  S rule = replaceJavaToken("{$Q -> parses to triple -> $T} & {$A -> answers triple -> $T} => {$A -> answers -> $Q}", "$Q", "{" + s + "}";
  print(rule);
  ai_spec_applyRule(rule);
}