<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_msv14a6vdj2f1g9p164r2mk4nq, 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 />
/*
  if input (how many triples do we have?)
  and ($n = ai_allWebsCount())
  then say (We have $n triples.)
*/
static S rule_numberOfTriples() {
  ai_checkInput_match3("how many triples do we have?");
  long n = ai_allWebsCount();
  ret replaceVars2("We have $n triples.", "$n", formatWithThousands(n));
}