static void ai_spec_compareNumbers(S term) {
  for ping (Web web : indexedWebs(term))
    ai_spec_compareNumbers(web);
}

static void ai_spec_compareNumbers(Web web) {
  for (WebRelation r : web_relationsNamed(web, "is bigger than?")) {
    S a = web_text(r.a), b = web_text(r.b);
    if (isInteger(a) && isInteger(b)) {
      int cmp = bigint(a).compareTo(bigint(b));
      S rel = cmp > 0 ? "is bigger than" : "is not bigger than";
      ai_postTriple(a, rel, b);
    }
  }
}