<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_sqqics51arc1ic3mdit6qtdcbb, 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_whatIsTheLength(S s) {
  if (!isNormalQuoted(s)) ret;
  new Matches m;
  if (!swic(unquote(s), "how long is ", m)) ret;
  S thing = m.get(0);
  print("ai_spec_whatIsTheLength thing: " + thing);
  
  // trigger required speculations
  
  post(s, "possibly related to:", thing);
  
  // harvest answer
  post(ai_forward(thing, "has length"), "answers", s);
}