sclass GlobalThoughtSpace extends AbstractThoughtSpace {
  // existence of triple has already been checked
  public S postTriple(T3<S> t) {
    ret post(t);
  }
  
  L<TripleRef<S>> get(S s) {
    ret tripleIndex().getTripleRefs(s);
  }
  
  int size() { ret ai_mainIndex().keysSize(); }
}