/* e.g. "he is called <a name>" =>

  he is called $1
    & $1 is (a name)

*/
sS ai_angleBracketVarsToFreshVarConditions(S s) {
  LS tok = javaTokWithAngleBrackets(s);
  new LS out;
  for (int i : indicesOfAngleBracketVars(tok)) {
    S var = makeDollarVar();
    out.add(var + " is " + roundOpt(deAngleBracket(tok.get(i))));
    tok.set(i, var);
  }
  ret joinWithIndentedAmpersand(itemPlusList(join(tok), out));
}