/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : all_kb_ab_SPNF
* Domain     : all KBs over {a,b} in SPNF
* Type       : KB
* Date       : 2023-10-23
* Version    : v1.0
* 
* Files in collection   : all_kb_ab_SPNF_1-484.cl
* #Files in collection  : 1
* #KBs in collection    : 484
* Conds/KB in collection: 1 - 4
* 
* Refs       : [BHK21] Beierle, Haldimann, Kutsch (2021). A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures (DOI: 10.32473/flairs.v34i1.128467)
* 
* Comments: 
*
****************************************************************/