/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : cars
* Domain     : Examples
* Type       : KB
* Date       : 2023-12-18
* Version    : v1.0
* 
* Files in collection   : ex005<*>_car<*>.cl
* #Files in collection  : 4
* #KBs in collection    : 5
* Conds/KB in collection: 3 - 7
* 
* Refs       : [BEK17] Beierle, Eichhorn, Kern-Isberner (2017). A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases (DOI: 10.1007/978-3-319-61581-3_22)
*              [BK19] Beierle, Kutsch (2019). On the Antecedent Normal Form of Conditional Knowledge Bases (DOI: 10.1007/978-3-030-29765-7_15)
* 
* Comments: 
*
****************************************************************/