sbool ai_spec_relRewrite_debug;

static void ai_spec_relRewrite(Web web) {
  for (WebRelation r : web_relationObjects(web)) {
    S rel = web_text(r);
    L<S> newRels = ai_texts_verified(rel, "[relation] rewrites to", "$X");
    if (ai_spec_relRewrite_debug) print("ai_spec_relRewrite: " + sfu(newRels));
    for (S newRel : newRels)
      postDerivedFromWeb(web, web_text(r.a), newRel, web_text(r.b));
  }
}