!7

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

cmodule GazelleTempFacts > DynCRUD<TempFact> {
  // API
  
  Pair<S, Bool> addTempFact(S text, S context) {
    Pair<TempFact, Bool> p = uniq2_sync(TempFact, +text, +context);
    ret pair(p.a.globalID, p.b);
  }
  
  bool hasTempFact(S text) {
    ret hasConceptWhere TempFact(+text);
  }
}