sclass GlobalThoughtSpace extends AbstractThoughtSpace {
  // existence of triple has already been checked
  public GlobalID postTriple(T3<Symbol> t, bool verified) {
    Bool prev = setThreadLocal(ai_postTriple_verified, verified);
    try {
      ret asGlobalID(post(str(t.a), str(t.b), str(t.c)));
    } finally {
      setThreadLocal(ai_postTriple_verified, prev);
    }
  }
  
  public GlobalID postTriple(T3<Symbol> t) {
    ret asGlobalID(post(str(t.a), str(t.b), str(t.c)));
  }
  
  L<TripleRef<Symbol>> get(Symbol s) {
    ret tripleIndex().getTripleRefs(s);
  }
  
  L<TripleRef<Symbol>> get(Symbol s, int position) {
    ret tripleIndex().getTripleRefs(s, position);
  }
  
  L<TripleWeb> getTriples(Symbol s) {
    ret tripleIndex().getTriples(s);
  }
  
  L<TripleWeb> getTriples(Symbol s, int position) {
    ret tripleIndex().getTriples(s, position);
  }
  
  L<TripleWeb> getOneTwo(Symbol a, Symbol b) {
    ret tripleIndex().getOneTwo(a, b);
  }
  
  int size() { ret tripleIndex().numWebs(); }
}