!7

concept TempFact {
  S globalID = aGlobalID();
  S text;
}

cmodule GazelleTempFacts > DynCRUD<TempFact> {
  // API
  
  sS addTempFact(S text) {
    ret uniq_sync(TempFact, +text).globalID();
  }
}