sinterface IFactStore {
  void store(S fact);
  void deleteAll(IPred<S> filter);
  Cl<S> facts();
}