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