static Set<S> ai_cluster_forward(Set<S> cluster, S rel) {
  Set<S> set = litciset();
  for (S s : cluster)
    set.addAll(ai_texts(s, rel, "$X"));
  ret set;
}