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