/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0050_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   : c => car, e => electric car, f => needing fossil fuel
*
****************************************************************/

signature
    c,e,f

conditionals
car{
    (f|c),                              // cars usually need fossil fuel
    (!f|e),                             // e-cars usually do not need fossil fuel
    (c|e),                              // e-cars usually are cars
    (e|e,!f ),                          // e-cars that do not need fossil fuel usually are e-cars
    (e,!f|e),                           // e-cars usually are e-cars that do not need fossil fuel
    (!e|Top),                           // usually things are no e-cars
    ((c,f) ; (!c,f) | (c,e) ; (c,!e))   // things that are cars and e-cars or cars but not e-cars are cars that need fossil fuel or are no cars but need fossil fuel
}