/*
  if (X is Y)
  and (ai_possibleRule(X))
  and (singleEllipsisMatch("the ... rule", Y))
  then (post("the text of " + Y, "is", X))]
*/

static void ai_spec_ruleTextRule(S X) {
  if (!ai_possibleRule(X)) ret;
  for (S Y : ai_texts(X, "is", "$X"))
    if (singleEllipsisMatch("the ... rule", Y))
      post("the text of " + Y, "is", X);
}