<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_q3abdb55gclq3dem3ii5n110hn, 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 />
abstract sclass AbstractThoughtSpace {
  AbstractThoughtSpace parent;
  
  *() {}
  *(AbstractThoughtSpace *parent) {}
  
  // takes unshortened query
  abstract L<TripleRef<S>> get(S query);
  
  // takes unshortened query
  abstract L<TripleWeb> getTriples(S query);
  
  // existence of triple has already been checked
  abstract GlobalID postTriple(T3<S> t);
  
  abstract int size();
  
  public bool hasTriple(S a, S b, S c) {
    for (TripleRef<S> ref : shortestList3(get(a), get(b), get(c)))
      if (tripleEqic(ref.triple, a, b, c))
        true;
    false;
  }
}