/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : all_kb_ab_CndNF
* Domain     : all KBs over {a,b} in CndNF
* Type       : KB
* Date       : 2023-12-21
* Version    : v1.0
* 
* Files in collection   : all_kb_ab_CndNF_<*>.cl
* #Files in collection  : 6
* #KBs in collection    : 1144860
* Conds/KB in collection: 1 - 25
* 
* Refs       : 
* 
* Comments   : The full set of knowledge bases over {a,b} in CndNF consists of more than 555 mio. knowledge bases. This complete set (approx. 6.73 GB compressed) will be provided on request.
*
****************************************************************/