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);
}