<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_hhuevb925d7t0ntvalet8gfnmj, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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);
    }
  }
}