<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_dbje8stijchmmurugc5mj80osp, 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 />
concept MyTruth {
  S globalID;
  Lisp term;
  S madeByRule;
  
  *() {}
  *(S *globalID, Lisp *term, S *madeByRule) { change(); }
}

svoid loadMyTruth {
  db();
  for (MyTruth t)
    lispAddLocalTruth(t.globalID, t.term);
}

svoid myTruth(S concepts) { myTruth(concepts, ""); }
svoid myTruth(S concepts, S statements) {
  useConceptsAndStatements(concepts, statements);
  loadMyTruth();
  printLispStatements();
}

svoid fromUser(S head, O... args) { fromUser(lisp(head, args)); }
svoid fromUser(Lisp l) { emit(l, "user"); }

svoid emit(Lisp l) { emit(l, ""); }
svoid emit(Lisp l, S madeByRule) {
  LispStatement s = lispAddLocalTruth(l);
  if (s != null)
    new MyTruth(s.globalID, l, madeByRule);
}

svoid unemit(Lisp l) {
  LispStatement s = findLispStatement(l);
  if (s == null) ret;
  removeLispStatement(s);
  deleteConcepts(MyTruth, globalID := s.globalID);
}