static void ai_spec_compareNumbers_triple(S s) {
  T3<S> t = ai_parseTriple(s);
  if (t == null || !eqic(t.b, "is bigger than?")) ret;
  S a = t.a, b = t.c;
  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);
  }
}