/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0053_car.cl
* Type       : KB
* Domain     : Examples
* Date       : 2023-12-18
* Version    : v1.0
* 
* Details    : Signature size        : 3
*              #Conditionals per KB  : 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)
*
* Comments   : 
*
****************************************************************/

signature
    car,eCar,fossilFuel

conditionals
car{
    (fossilFuel|car),
    (!fossilFuel|eCar),
    (car|eCar),
    (eCar|eCar,!fossilFuel ),
    (eCar,!fossilFuel|eCar),
    (!eCar|Top),
    ((car,fossilFuel) ; (!car,fossilFuel) | (car,eCar) ; (car,!eCar))
}