static void ai_spec_containsThePhrase(S s) {
  L<S> tok = javaTokC(unquote(s));
  Map<Int> map = curlyBracketMap(tok);
  for (int i : keys(map)) {
    int j = map.get(i);
    S phrase = trimJoinSubList(tok, i+1, j-1);
    ai_postTriple(s, "contains the phrase", phrase);
  }
}