<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_t8cjn6tcsc2uff9mjmq1gq4503, 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 bool ai_cache_hasTriple_verified(S a, S b, S c) {
   if (a == null || b == null || c == null) false;
  
  if (ai_useThoughtSpaces())
    ret thoughtSpace().hasTriple_verified(symbol(a), symbol(b), symbol(c));
  
  AI_CacheChecker checker = ai_cacheChecker();
  if (checker != null && checker.hasTriple(symbol(a), symbol(b), symbol(c))) true;

  L<Web> webs = ai_fewestIndexedWebs_verified(a, b, c);
  bool x = webs_search_noVar_bool(webFromTriple(a, b, c), webs);
  ret x;
}

static bool ai_cache_hasTriple_verified(T3<S> t) {
  ret ai_cache_hasTriple_verified(t.a, t.b, t.c);
}