static void ai_spec_include(Web web) {
  T3<S> t = webToTriple(web);
  ai_spec_include(t.a, t.b, t.c);
}

static void ai_spec_include(S a, S b, S c) {
  //print("ai_spec_include " + a + " " + b + " " + c);
  ret unless eqic(b, 'include);
  S x = a(singular(a));
  for (S s : ai_parseList(c))
    post(s, 'is, x);
}